python: better tcp seq numbering