Ignore more automatically generated files in .gitignore

Here is a proposal for more things to ignore via .gitignore.  Comments welcome.