[PATCH] .gitignore: add miscellaneous files