exported options #102 and diggingInvaders #106

- allows the exporting of all the details of most options to a file.
it's messy. xml better maybe?
- changed the diggingInvaders button to simply disable the plugin in
dfhack.init, rather than adding #removed for every line