[ test suite ] Changes due to changes in the standard library
Merge branch 'maint-2.4.2'
[ test suite (master) ] Changes due to changes in the standard library
[ test suite ] Fixed

Using Data.Maybe.Minimal instead of Data.Maybe.Core.
Merge branch 'maint-2.4.2'
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'
Merge remote-tracking branch 'upstream/master'