Update *.cabal for cabal-1.18
Use travis-ci.