More robust TCP options parsing

• Quieten down the stack logging rate by not announcing IPv6 packet discards.
• Raise exception Bad_option for unparseable or invalid TCPv4 options (#57).
• Fix linking error with module Tcp_checksum by lifting it into top library (#60).
• Add opam file to permit easier local pinning, and fix Travis to use this.