Add ability to change workspace config filename #3
Description
Right now the plugin creates a file with the same name as the workspace when exporting, and also looks for the same file when importing. It would be nice to have both the export and import filename be configurable