Release 1.4.0 – Update .gitignore file

The only change in this release is to update the .gitignore file to ignore .dropbox files. These can get introduced into a repo if one copies an entire directory tree from one's Dropbox folder, and they can subsequently be a problem for Windows users. There's not good reason to leave them in, so we may as well add a rule to ignore them.