Describe the issue

Shadow writes the wrong TCP header length in pcap files

Additional context

Shadow currently reports that the TCP segment length is 32 bytes. That's wrong: TCP header sizes are currently 20 bytes.

Here's the offending line:

This should instead match the CONFIG_HEADER_SIZE_TCP macro constant defined in definitions.h.