[rubis] (new:minor) Add the possibility to set the seed for the random number generator used by RUBiS.