python: Output seqno in hpackmake.py, utilize it in hpackcheck.py