Added option to disable timestamps in output

This option --no-timestamp provides a way how to let other tools
(like Jenkins) handle timestamping of the output.