Coveralls: We're using travis-ci not travis-pro