Update .cabal and travis.ci links