Merge branch 'timing' into 'master'

Log timing in tests and builds

See merge request !512
3 jobs for !512 with timing into master in 48 minutes and 1 second (queued for 23 minutes and 36 seconds)