[TCP]: Introduce tcp_hdrlen() and tcp_optlen()