Rename “export workspace” xml filename to the code of the workspace

Uncategorized

The exported filename of a workspace configuration will have the code of the exported workspace.

The configurator doesn't have to open the configuration file to found out for of workspace the configuration file is. This was often an issue when exporting multiple workspace configuration within the same installation.