+ * added level setting to start a level with always the same random seed
+ * added CE action "set random seed" to re-initialize random seed in game
+ (this is the only CE action that gets executed before the CE changes,
+ which is needed to use the newly set random seed during the CE change)