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 branch 'happy'

Conflicts:
	Agda.cabal
	configure.ac