Run tests with more verbosity

In particular I want to see a summary of tests that failed at the end of
the build log in Jenkins.