Have Travis CI run both test configurations