Enable users to choose Topicmap export format
Supported topicmap export formats are
SVG and JSON
Currently, clicking the export-command creates a JSON file only.
A dialog is needed so users can specify which file type they want to export the topipcmap to.