.gitignore: ignore generated files.