run: add timestamps before each log message

Also time every run by default.
This commit is contained in:
Ciro Santilli
2018-07-19 08:06:03 +01:00
parent a51526c600
commit e376e25ca2
4 changed files with 6 additions and 3 deletions