.gitignore: ignore more generated files