Allow disabling timestamp in non-tty output.

This is useful if the output is already being piped to a logger
daemon that will prefix the timestamp by itself (eg: on heroku).