gitignore: Ignore additional auto-generated files.