Merge branch 'jespercockx-maint-2.4.2' into maint-2.4.2
[ CHANGELOG ] Fixed whitespace issues
[ issue 1269 ] Moved test cases from lib-succeed to succeed
[ Issue 1288 ] Fixed by rejecting {-# NO_TERMINATION_CHECK #-}.
[ Issue 1288 ] CHANGELOG
[ Issue 1288 ] Replaced pragma NO_TERMINATION_CHECK in testsuite.
[ Issue 1288 ] Removed NO_TERMINATION_CHECK in examples.
[ issue 1283 ] Added type signatures
Removed unused (and duplicated) combinator ($>)
[ Quote.hs ] Added local signatures
[ Level.hs ] Added type signature
Revert "Added support for quoting levels to the changelog"

This reverts commit 0821850a2baf2f5a314f30ffde6fc9ca48bd0bdf.

Quoting level isn't a new feature (see https://github.com/agda/agda/pull/17#issuecomment-58777304).

Conflicts:
	CHANGELOG
[ Base.hs ] Added type signatures
[ SizedTypes/Syntax.hs ] Removed unused 'emptySolution'
[ Conversion.hs ] Added type signature
[ clean ] Removed excessive commented-out imports, ordered imports.
[ clean ] Removed excessive indentation, fixed some comments.
[ opt ] noRange instead of killRange Range in Syntax.Info.
[ clean ] Removed unused alternative ExprInfo.ExprSource.
[ clean ] Removed old copattern-related code from Abstract.Syntax.