[ refactor ] Added argument for default value to invertP
[ fix ] Replaced (bad?) fromMaybe with case
[ Old GHCs ] Don't -fno-warn-identities on 7.0

This is a backport from master.
Move CPP pragma before the first CPP directive.
[ comments ] Haddockified invertP.
Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2
[ build ] Don't override AGDA_BIN if already set.
Revert "[ fix ] Replaced (bad?) fromMaybe with case"

This patch is the identity, at least in a lazy language like Haskell.

This reverts commit a25253a3adaa0314188ff5b698cb1520bd32ce05.
[ issue1303 ] Unquoting a variable referring to a dot pattern now triggers a proper error message.
[ new ] Added new --exact-split option and CATCHALL pragma.
  The --exact-split flag causes Agda to raise an error whenever
  a clause in a definition by pattern matching cannot be made to
  hold definitionally (i.e. as a reduction rule). Specific clauses
  can be excluded from this check by means of the {-# CATCHALL #-}
  pragma.
Fix whitespace
[ cosmetics ] Comments, formatting in Scope/Base.
[ Issue 1320 ] Fixed.

WithoutK accidentially marked projection patterns as unusable.
[ Issue 1320 ] Test case for coinduction --without-K.
Merge branch 'maint-2.4.2'

Conflicts:
	src/full/Agda/Utils/Time.hs
Enable 'make library-test' with an absolute $AGDA_BIN.
[ fix ] correct include of impossible.h.
[ whitespace ] Fix for test/succeed/ExactSplit.agda
Merge branch 'maint-2.4.2'

Conflicts:
	Makefile
Import function instance for the sake of GHCi.

For some bizarre reason this works with GHC, even if the QuickCheck
definitions generated by `quickCheckAll` need it.  Now I can get a
`cabal repl` prompt.