Add an option to disable timestamps in execution logs

Currently the logs always show the timestamp.

Some users want to disable them to improve the readability.