travis-ci: try to fix posting coverage results to coveralls.io