gnome update to 0.75

- updates gnomes to the most recent release
- enables  and fixes diggingInvaders
- fixes the options for dfhack.init and announcements.txt not working
- fixed missing file names from some options in the JSON export
Merge pull request #139 from splintermind/gold

gnome update to 0.75, GUI fixes for a few options