[ 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