createBatchJob_sim.sh: fixing that all jobs have the same seed
t pushMerge branch 'master' of github.com:hansgans/boss