git: ignore coverage directory