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