Improve .gitignore a bit.

Explicitly ignore a few things that ought not to be versioned, but which presently aren't explicitly ignored.