rewritten TCP machine state, added CONTRIBUTORS file, added IPv6
desfragmentation support (no tcp/ipv6 support yet), fixed issue #9, some
other minor changes