[ issue 1259 ] test case
[ new ] Added field terInlineWithFunctions to termination monad.
[ issue 1259 ] Fixed by properly disabling with-inlining.
[ new ] Utils applyWhenM and applyUnlessM.
[ new ] Added fiels terMaskArgs and terMaskResult to termination monad.
[ issue 1023 ] Extended Jesper's fix to coinduction.

Also refactored his test for pattern being of data/record type; the check is
now done once per function instead of once per clause.
[ tiny refactor ] Use terUnguarded.
[ debug ] use text . show for QName instead of prettyTCM.

Had the suspicion that things were prettyfied to much (but was not true).
[ issue 1023 ] Error message of failed test.
[ testsuite ] No longer empty line for empty range.
Merge branch 'maint-2.4.0' of github.com:agda/agda into maint-2.4.0
[ issue 1214 ] Fixed on maint-2.4.0.
[ issue 1214 ] test case on maint-2.4.0
Merge branch 'maint-2.4.0'

(Unfixes issue 1214.)

Conflicts:
	src/full/Agda/Termination/TermCheck.hs
Merge branch 'maint-2.4.0'