Add coverage badge

[ci-skip]