newtype for CPUTime in Agda.Utils.Time
Measure time for give command (with -v profile.interactive:10)
MIN_VERSION macros expect only three arguments when doing make tags