Travis: Update cabal and install a more recent cabal version