Merge remote-tracking branch 'upstream/master'
Merge remote-tracking branch 'origin/master'
[ Makefile ] Added override directive for the CABAL_OPTS variable

It allows running commands like

  make install-bin CABAL_OPTS=--force-reinstalls
Merge branch 'maint-2.4.2'

Conflicts:
	Makefile
[ Cabal ] Sorted dependencies (fixed)
Merge branch 'maint-2.4.2'
Merge remote-tracking branch 'origin/master'
Merge remote-tracking branch 'upstream/master'
[ travis ] Initial .yml file.
Merge branch 'maint-2.4.2'
[ refactored ] hiddenLamdaOrHole in TC.Rules.Term.
[ refactored ] Range handling in hidden lambda insertion.
[ refactored ] conditions when to insert hidden lambda.
Support for time 1.5.*
Merge branch 'maint-2.4.2'
[ issue 1103 ] Fixed documentation

Not only Termination.SparseMatrix triggers a warning under GHC 7.0.4.
[ issue 1103 ] Cosmetic changes
[ issue 1103 ] Removed unnecessary $
[ issue 1103 ] Added TypeSynonymInstances language extension
[ issue 1103 ] Added GHC 7.0.4 to the tested-with field