coverage.io and travis.ci badges