Add headersSize attribute.
Guarantee total_time equals the sum of timings.
Allow parsing raw IP datagrams, and minimize divergence from dpkt.