Make rndm seed optional

The option to put a random generator seed in the jobcard always uses 0 as default. The behavior should be to take no seed if no specific one is given.

assigned to @jschumann

added 12 commits

• 1e8c8835...d7e4786d - 11 commits from branch master
• c59d4115 - Make seed an optional parameter - if none given not seed will be used

Compare with previous version

enabled an automatic merge when the pipeline for c59d4115 succeeds

mentioned in commit 900ada5f

merged