Use the automatic test behavior of Cabal on Travis CI