[ 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'
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.
[ Issue 1317 ] Fixed early termination complaints for sized types.
[ comments ] Haddocumented NameSpace kinds in Scope.Base.
[ build ] Reverted to bytestring >= 0.9; compatibility layer for Serialize.
[ build ] Build maint version just into dist/build.

Deleted the non-standard $VERSION component of build directory.
[ HACKING ] Rebase as preferred workflow for longer-living branches.
[ Serialize ] Statistics with and w/o highlighting info serialization.
Merge branch 'maint-2.4.2'

Conflicts:
	Makefile
	mk/paths.mk
[ Makefile ] Using 2.4.2.1 branch of the standard library
Merge branch 'maint-2.4.2'
Revert "[ Makefile ] Using 2.4.2.1 branch of the standard library"

This reverts commit 590979b50f1210da077ffd6a41c3a094ab7cb85a.
[ fix ] added missing constructorForm in LHS.Unify
[ sharing ] resurrected pointer term representation

Type checking times are more or less the same,
slightly slower type checking (of std lib), but faster
serialisation.

Big win is actual call-by-need compile-time evaluation.
[ sharing ] updated error messages and interaction output

Things get more evaluated now, since evaluation gets shared.
[ sharing ] added more missing ignoreSharing
[ sharing ] updated error messages again