[ opt ] Made all fields of state strict.
Revert "[ opt ] Made all fields of state strict."

This reverts commit f63c349610da2ff79dc3b534147434a42f20fcbd.

Effect on library-test was 2-3 sec more (3 min 16 instead of 3 min 14
user time (Andreas' laptop)).
[ clarify ] Compute Range of AmbiguousQName from the first QName.
[ Travis ] Added documentation related to GHC 7.2.*
[ Travis ] Issue 1334 was fixed
[ Highlighting ] Collect constructor disambiguation during type checking.
[ Highlighting ] Use stored constructor disambiguation...

... instead of traversing internal syntax.
Simplified the code quite a bit.
library-test time allocated for highlighting down from 6 to 1
sec (Andreas laptop).
Overall time not significantly reduced.
[ bench ] library-test (Andreas' laptop).
[ Highlighting ] Updated interaction output.
Merge /home/abel/agda into maint-2.4.2
Merge branch 'maint-2.4.2'

Conflicts:
	src/full/Agda/Syntax/Abstract/Name.hs
	src/full/Agda/TypeChecking/Monad/Base.hs
[ Highlighting ] test LaTeX-succeed.lagda changed behavior.

Number literals are no longer printed as AgdaInductiveConstructor in
patterns.
[ issue 1334 ] Fixed

Since we are competing for minimalistic bug fixes (see
https://github.com/agda/agda/commit/b18d100d7457dfe05ba58f39e8b075b240fb5c91#commitcomment-8410366)
I introduce my candidate: -1 whitespace! :-)

Seriously, I don't understand why deleting one whitespace inside a
comment fixed the issue.

I guess some parsing issue was fixed in GHC > 7.4.2.

Cherry-picked from fea7f1457bf8ee18fd51988b8a86b1ee0f441d4b.
Merge branch 'maint-2.4.2'
[ clean ] Rules.Def: removed old, commented-out code.
[ fix ] Systematically use termination pragmas when addConstant.

Generalizes Ulf's commit 9e91cc17bdbf2801a4ac55b177b2f37b218eeecb:
[ fix ] set funTerminates directly for definitions with pragmas.
[ test ] For checking copattern definition where first clause loops.
Merge branch 'maint-2.4.2'

Conflicts:
	src/full/Agda/TypeChecking/Rules/Decl.hs
	src/full/Agda/TypeChecking/Rules/Def.hs
[ Utils.Suffix ] new function nameVariant.
[ Utils.Function ] renamed trampolineWhile to repeatWhile.