.gitignore: ignore more files