Adding coverage badge

[ci skip]