[ cosmetics ] CamelCase in Common.Reflection tests.
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
[ Issue 1288 ] Do not outlaw NO_TERMINATION_CHECK on maint.
Merge branch 'maint-2.4.2'

Conflicts:
	src/full/Agda/Syntax/Concrete/Definitions.hs
[ cosmetics ] CamelCase in Common.Reflection tests.
Merge branch 'master' of github.com:agda/agda