commandline interface: allowing for mutliple parallel shell commands (optionally synchronized using groups)
ide: Fixing the CommandLine in the Terminal tool
ide: Fixing the TextEditor saveFileSystem method
(bug caused by limitations of the recently added whenDone logic of WebResources)
commandline interface: fixed examples