gnome update to 0.75, GUI fixes for a few options

- 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