[ 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