Merge branch 'maint-2.4.2'
[ 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
Merge branch 'master' of github.com:agda/agda
Merge branch 'maint-2.4.2'