gitignore: ignore generated files