.gitignore: ignore generated files