Add global timers

Dumped lines will now be preceded by # of milliseconds since last
DUMP_TIMER_RESET() call.