Add coverage badge

[ci skip]