- Print some more global stats: how much time it took to read the
Guido van Rossum authored
  trace data; first and last timestamp, and their difference in
  seconds; how many records had their version bit set.

 - All large numbers reported are formatted with commas
   (e.g. '1,234,567').
48f9da5d