Restore coverage badge after fixing underreported coverage in travis.yml