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