Updated the travis configuration to run once all the tests (and to have
the right coverage report).