travis: enable cabal-caching
travis: enable cabal-caching

This causes the idris compiler to be cached while it was not changed upstream. When it was changed cabal will update it. This will cause faster buildtimes when idris is not changed while preserving old behavior when it is.

uwap/idris-http