Variety of save/download options on the frontend

Things we want:

• Save/load the current workspace as XML
• Save the ini code

Not talking about #9 (closed) here, which is of course also important.