[ 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).
[ configure.ac ] Updated Alex and Happy versions.
Merge branch 'maint-2.4.0'

Conflicts:
	configure.ac
Merge remote-tracking branch 'origin/master'
[ issue 1206 ] Fixed by using cpphs 1.18.5

Thanks to Tillmann Rendel, Nicholas Smallbone, Juan Pedro Villa-Isaza
and Malcolm Wallace for helping to fix the issue.
show benchmarking times with thousand separators
Merge remote-tracking branch 'upstream/master'