add coverage badge [ci skip]