[ fix ] fixed buggy printing of CPUTime
Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2

Conflicts:
	src/full/Agda/Main.hs
Fixed Haddock issue
[ test ] fixed NO_TERMINATION_CHECK error output
[ Common.Reflection ] Cosmetic
GHC 7.0 doesn't have -fno-warn-identities
[ Travis ] Make tests work with 7.0 (hopefully)
[ test ] clean up after api-test
Merge remote-tracking branch 'origin/maint-2.4.2'

Conflicts:
	src/full/Agda/Interaction/InteractionTop.hs
[ test ] fixed bug in usage of 'find'
Merge remote-tracking branch 'origin/maint-2.4.2'
Don't override existing $AGDA_BIN.
[ Travis ] Build on maintenance and master branches.
Improved performance of instance arguments, exponential complexity in the depth is now only quadratic
[ cpphs ] Using version 1.18.6
Merge branch 'master' of github.com:agda/agda
Merge branch 'maint-2.4.2'

Conflicts:
	configure.ac
Record parameters which were marked as instances arguments are kept as instance arguments in the constructors
[ refactor ] quoteKit returns record instead of tuple
Merge branch 'maint-2.4.2'