[ cosmetics ] CamelCase in Common.Reflection tests.
[ Issue 1283 ] Added missing type signatures in Concrete.Pretty.
[ bug fix ] unquoteDecl is not allowed in mutual

should not cause __IMPOSSIBLE__ though
Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2
Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2
[ refactor ] moved a couple of local functions to top-level
Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2
[ Issue 1288 ] Do not outlaw NO_TERMINATION_CHECK on maint.
Removed UnicodeSyntax language extension

See https://github.com/agda/agda/commit/4349a8729ed213087ea141acf039fd8c27e0a3a8#commitcomment-8181490.
[ API test ] Removed Unicode symbols
[ Makefile ] Renamed target of the API test
[ fix ] fixed buggy printing of CPUTime
[ Serialize ] IORef and Exception instead of StateT and ExceptT.
Revert "[ Serialize ] IORef and Exception instead of StateT and ExceptT."

This refactoring gave no performance gains on library-test, and it
slightly complicates the implementation.  Rolling back.

This reverts commit f4530caf7684d4b2448cc28425632c6ca537a82d.
[ comments ] Haddockumented CPUTime and its Pretty instance.
[ fix ] Printing to benchmark CPUTime statistics.

Thousands separators in the word CPU,Tim,e are maybe not improving
readability. ;-)
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
[ test ] clean up after api-test