Add coverage badge (since we are now at 100%).