.gitignore: Ignore more generated files