Added coverage.io and travis-ci badges