use import wizard to import working sets from a JavaScript file

[mlehmannm]

The current implementation adds a command to every *.js file to import working sets defined in this file.
It would be better to open an import wizard, let the user choose which working sets to import and whether to delete working sets with equal names beforehand.