Really integrated Coveralls in Travis CI builds