[ Haskell style ] Minor changes.
[ .gitignore ] Added haskell-style.tex file
[test] line-break change in interaction test output

Is the output machine dependent? If so we need to some hacking on the test oracle.
[comment] Clarified constructor instance puzzlement
[release] documented AGDACLAUSEABSURD and AGDAPATABSURD
[ release notes ] Fixed indentation
[test] Use the right agda binary for .sh interaction tests
[ issue1232 ] test case

Checks that we get the internal error. Should of course change when
the issue is fixed.
[ issue1232 ] fixed

The problem was that imported instance tables were handled incorrectly,
allowing instances from unrelated modules to leak into the interface
for the current module. Fixed by not storing instance tables in the
interfaces at all. They are easy to rebuild when importing a module.
[ haddock ] Documented difference between local and imported signature in state.
[ minor refactor ] Factored out common subexpression.
[ issue 1186 ] Test case (shrunk by Ulf).
[ issue 1186 ] Fixed by preserving ArgInfo in clause compiler.
[ refactor ] A use of fromMaybe.
[ clean ] Removed old, commented-out code.
[ refactor ] Merge three checks for variable pattern into one.
[ comment ] Clearer comment in clause compiler.
Merge branch 'maint-2.4.0'

Resolved conflicts:
	src/full/Agda/TypeChecking/Monad/Base.hs
[ opt ] Use getBodyUnraised instead of getBody.

If we are only interested in the existence of a body or looking just at
its head symbol, we need not adjust the de Bruijn indices.
[ haddock ] Properly placed comments for getBody and getBodyUnraised.