[PATCH] .gitignore: Simplify Git ignoring generated directories.