git: ignore .tags files