Update .cabal and travis.ci links and bump version