Add random.seed explicitly when starting RSLB2

It turns out that the kernel only sends a number of configuration
settings to the agents, not all of them. The random seed is not among
those values, so we have to explicitly tell RSLB2 which seed is being
used when launching it.