add a coverage badge