Per-user settings sneaking into the repo.

* Removed DotSettings file.
* New entry in .gitignore to keep future instances of these files out.