Update travis-ci config

`cabal update` is already run before each build, so doing it a second
time manually will unnecessarily delay things.