[ refactor ] Moved unquoting to a separate file.
Merge branch 'maint-2.4.2'

Conflicts:
	src/full/Agda/TypeChecking/Quote.hs
[ Issue 1348 ] Added separate syntax for reflected things.