Clean up or ignore junk

[Chris Warburton]

There are a bunch of ever-changing files, which seem to contain
machine-generated values rather than manually written/saved preferences.

See which ones to add, which to .gitignore, etc.