added coverage badge [ci skip]