BatchExecutorOutput workflow naming


May I suggest to change the naming of the workflow projects that are generated through batch execution.
Currently the names are composed of the words “BatchExecutionOutput” and a seemingly random number.
It would be nice to know the original name of the workflow and the time of its execution from looking at the Workflow name. That should be sufficiently uniq as well…