[ fix ] Added space to error message
Merge branch 'maint-2.4.2'
[ Issue 1326 ] Fixed by checking that split variable is not module parameter.
[ Issue 1326 ] interaction test.
Merge branch 'maint-2.4.2'
[ fix ] set funTerminates directly for definitions with pragmas

We look at funTerminates to decide whether to unfold a definition
during type checking. However, before termination checking
funTerminates is unknown (Nothing) in which case we allow unfolding.
We really shouldn't, but that would require running the termination
checker after each definition (or clause) instead of after each
mutual block. What we really shouldn't do (which this fix addresses)
is ever unfold a definition that's been marked {-# NON_TERMINATING #-}.
Merge remote-tracking branch 'origin/maint-2.4.2'
[ make ] allow setting $CABAL_OPTIONS in shell to add build options to cabal
Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2
[ fix ] Replaced BadConstructor by __IMPOSSIBLE__.
Merge branch 'maint-2.4.2'
[ new ] Interactive tactic development.
  Unsolved metas are now allowed inside an `unquote ...'.
[ fix ] Fixed annoying yellow on incomplete tactics.
[ hTags ] Add option to extend include path

And update Makefile accordingly.
Merge branch 'maint-2.4.2'
Merge remote-tracking branch 'origin/maint-2.4.2'

Conflicts:
	src/full/Makefile
	src/hTags/Main.hs
[ Utils ] new Sized instances and SizedThing wrapper.
Merge branch 'maint-2.4.2'
Fix bug with instance arguments introduced a few days ago
[ Utils ] Null instance for SizedThing.