In ofp_packet_to_string(), make tcpdump print Ethernet headers also.