Add httpdump.py, rename dateToTs.py to dateToTs, and some better input handling in tsToDate