gitignore: ignore more generated files