Fixed whitespace issues
Merge branch 'maint-2.4.2'
[ cabal ] Relaxed upper bounds for transformers and mtl.
[ issue 1271 ] Fixed second half (inductive recursive records, types).

Cycle detection in Unify was too eager, being incompatible with HoTT.
[ whitespace ] +- empty lines in test case.
[ issue 1271 ] test cases for inductive recursive record and types.
Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2
Merge branch 'maint-2.4.2'
[ refactor ] No longer export TC.Free.freeVars'
[ refactor ] put free variable computation into Reader monad
[ refactor ] Free variable analysis not collect bound variables temporarily any more.

Library benchmark is neutral.  I had hoped for some speedup.
Merge branch 'maint-2.4.2'
Bump text upper version bounds
Merge pull request #13 from RyanGlScott/master

Bump text upper version bounds
[ Utils ] More general version of trampoline.
[ rename ] runTerm to runTer
[ refactor ] Introduced terRunDefault in Termination.Monad.
[ comment ] call graph extraction needs refactoring!
[ refactor ] Import overloaded null.
[ opt ] When termination checking a single def, only construct reachable
part of call graph.