Ignoring DefaultOptions.txt

The file is in the directory so that it is copied instead of Options.txt
when updating HGBG so that I can tweak my options and still have
default.  The file is not necessary for cloning the repository and
running it, so it is ignored.