adds coverage badge.