Tracer: optionally add timestamps to each message
Merge pull request #3036 from fwyzard/Tracer_timestamps_70x

Tracer: optionally add timestamps to each message