remove unused icmp
Move TCP wire formats into Wire_structs as well
Ethif: mux ipv6 as well, and add a TODO for a default demuxer
Add a TCPv4 library in OASIS
Functorize Tcp.Wire
TCP: Add a simple module type for a TCP Time abstraction
Split the TCP state handling into a time-dependent and non-time dependent one