[ 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.
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
[ fix ] correct include of impossible.h.
[ whitespace ] Fix for test/succeed/ExactSplit.agda