Fixes #3: add timestamp to default output stats filename.

Also fixed formatting of the real-time benchmark run reporting (initial
legend line lacked leading spaces).

We also log the filename to which the stats were saved at the INFO level
along with a constructed command-line which may be used to regenerate
the report in the future.