[ fix-agda-whitespace ] Ignore hidden files, e.g. .#Bla.hs.

These are created in emacs whenever a file is unsaved.
fix-agda-whitespace failed in the presence of such a file before.
[ mytags ] Ignores now with .#Bla.hs files.  (All hidden files.)
[ refactor ] pulled Rules.LHS.checkLHS to toplevel.

For cosmetic reasons:  excessive indentation and super long local
functions need to be avoided.
[ subterm ] Deleted failed test case (to be successful soon).
[ subterm ] new: Termination.Order.nonIncreasing
[ subterm ] Refactor: added TermDBP constructor to DeBruijnPat.
[ subterm ] New feature in termination checker: Recognize simple subterms in dot patterns.

This allows e.g. to see that .(suc (x + y)) is structurally bigger
than (x + y).
[ subterm ] Successful test for using subterms in Termination checker.
[ subterm ] CHANGELOG
[ refactor ] Coverage.fixTarget now tells whether new patterns were introduced.
[ interaction ] split on result now also just introduces variables on the lhs.

Previously, it did not introduce trailing vars and also did nothing if
there was no record to split, but only function types.
Release script.

Author:    Guilhem Moulin <guilhem.moulin@chalmers.se>
[ new ] lens Syntax.Concrete.mapLhsOriginalPattern
[ refactor ] Factored out scopeCheckExtendedLambda
[ clean ] Deleted old, commented out code.  Cosmetics.
[ Auto ] Indentation fix, comments, and some fruitless rewriting.
[ Cabal ] Removed support for equivalence 0.2.4

The only difference between equivalence 0.2.4 and 0.2.5 was a missing
file in the tarball (see
https://bitbucket.org/paba/equivalence/commits/all).
[ Utils.Cluster ] Mini refactor

- Replaced 'forM' by 'forM_'.
- Using qualified name 'IntMap' instead of 'Map'.
- Removed unnecessary 'forall' keyword.
- Removed unnecessary pragmas.
[ issue 1283 ] Added missing type signatures