.gitignore: more untracked file types.