Add coverage badge.

[ci skip]