make warcdump.py work the same way with python2.7 and 3.3