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

Conflicts:
	src/full/Agda/TypeChecking/Quote.hs