Install time

Merged Ben Gamari requested to merge time into master

Necessary for nofib

Merge request reports