[ Agda.cabal ] Bump bytestring >= 0.10 to support NFData.

This is to repair broken travis builds for ghc <= 7.4.