Reformat cabal file and update travis settings