Adding settings file to .gitignore

Now you can make changes to your settings file and they won’t be picked
up as changes that ought to be committed.