[ refactor ] added measureTime to Utils.Time

using it in TypeChecking.Monad.Benchmark
Measuring time of interactive commands

If -v profile.interactive >= 10 print the time spent on
interactive commands (like C-c C-n).