[ issue1218 ] NO_TERMINATION_CHECK for unquoteDecl
Check evaluation in unquoteDecl test case
[ issue1219 ] unquoting recursive definitions

Fixed by having x desugar into quote x in the body of
unquoteDecl x = e.
Removed unnecessary flags for Happy

* Tested with GHC 7.0.4 and 7.8.2.

* Happy 1.19.3 fixed the compilation with previous versions of GHC
  (see https://github.com/simonmar/happy/issues/16).
Merge remote-tracking branch 'upstream/master'
Merge branch 'happy'

Conflicts:
	Agda.cabal
	configure.ac
Merge remote-tracking branch 'upstream/master'