Cabal file fixups & set up TravisCI