Add coverage badge per #222