Added top-level cabal definition for Travis