other/tgrep.py - modified version, more timestamp formats