Merge pull request #6 from jespercockx/master

Agda now reduces types before checking that they are data types
[ 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
Reduce primitives during simplification
Merge branch 'maint-2.4.0'
[ test ] use $(AGDA_BIN) instead of agda in interaction test suite
[ issue 1216 ] Fixed by giving proper error message.
Merge branch 'Issue1216'
Undo accidentially committed changes to Makefile
Merge branch 'maint-2.4.0'
[ comment ] level Max[] is ClosedLevel 0.
[ debug ] fitsIn: properly raised sort to avoid confusing debug messages
[ refactor, comments ] Conversion.equalSort.
[ issue 1205 ] Fixed by postponing leqSort problems involving dLub.
Merge branch 'maint-2.4.0'