.gitignore: more types of tag files added to ignored list