Use find … -delete.
Update agda-releases
[ rename ] bound variable typeCheck to doTypeCheck.

Helps grepping for Interaction.Imports.typeCheck.
[ comment ] about typeCheckMain updated in InteractionTop.
[ rename ] bound variable ds, ds' for clarity.
[ refactor ] Inlined 2liner Imports.typeCheck (used only once).
[ interaction test ] for evaluating an expression in top level scope.
[ Serialize ] No longer serialize iInsideScope.

Saves 50% of crap like AbsolutePath.
Instead, we always retypecheck upon reload to reconstruct the insideScope.
[ testsuite ] Changed interaction test as we always retypecheck main file now.
[ fix ] When --no-positivity-check, only suppress error messages.

Still compute the information we need e.g. about recursiveness of records.
Merge branch 'maint-2.4.2'
[ refactor ] patternViolations don't need to store the state
Merge remote-tracking branch 'origin/maint-2.4.2'
[ Agda.cabal ] Bump bytestring >= 0.10 to support NFData.

This is to repair broken travis builds for ghc <= 7.4.
Merge branch 'maint-2.4.2'
[ hTags ] fix include path to find "undefined.h"
[ tags ] fixed broken tags targets
Merge branch 'master' of github.com:agda/agda
[ travis ] Install with --force-reinstalls.
Revert "[ travis ] Install with --force-reinstalls."

Did not work, as it breaks Cabal-1.20 on ghc <= 7.4.

This reverts commit 9e9001b2b39199161cf34d096eb2624d643ff428.