Removed support for GHC 7.0.4
Agda doesn't support GHC 7.2.*
Removed support for haskell-src-exts <= 1.16.0

(A previous version was required by GHC 7.0.4).
Removed unnecessary CPP conditional
Merge branch 'maint-2.4.2'

Conflicts:
	src/full/Agda/Utils/Time.hs
[ Travis ] Removed GHC 7.0.4
[ testsuite ] Add missing changes to interaction/With-flicker.out
Merge branch 'maint-2.4.2'
[ ghc-releases ] Added step related to Travis
[ ghc-releases ] Added `make install-bin`
[ ghc-releases ] Fixed test of the hTags program
Support for GHC 7.8.4
Merge branch 'maint-2.4.2'