tools/dmesgT.pl: display human readable timestamps for dmesg