Merge branch 'monotonic-timers' into 'master'

Don't fake monotonic timers

See merge request !132
9 jobs for master
in 1 minute and 43 seconds and was queued for 5 seconds