Resolve "Polish user interfaces of texts (script and session)"

Closes #249 (closed)

changed milestone to %Nice-to-have features

added Convention Documentation Interpreter labels

added 55 commits

• 21b67737...723c702c - 55 commits from branch master

Compare with previous version

added 1 commit

• b47bc0ce - remove --async-run and --on-demand in script, add --sleep-time in session

Compare with previous version

added 2 commits

• cabdde6b - change launcher thread sleep time interactively
• 33e5add7 - keep on-demand flag in texts script and fix docs

Compare with previous version

added 1 commit

• ab9d568c - add unique_launchdir to workflow executor, fix nlaunches in rapidfire call

Compare with previous version

assigned to @ivan.kondov

resolved all threads

added 1 commit

• 29581a94 - update parameters for session and script

Compare with previous version

marked this merge request as ready

added 1 commit

• 07616dac - add explanation of unique launch directories

Compare with previous version

requested review from @rodrigo.mejia

@rodrigo.mejia: A new feature here is the --sleep-time flag and the corresponding "%sleep" magic in the interactive session.

added 1 commit

• 5c0fc636 - remove the paragraph about async-run in texts script

Compare with previous version

resolved all threads

added 9 commits

• 5c0fc636...9ad836e3 - 8 commits from branch master
• 29a0f12c - Merge branch 'master' of https://gitlab.kit.edu/kit/virtmat-tools/vre-language...

Compare with previous version