Add <util.random.seed> tag and server.set_random_seed mechanism #5
Description
While it might not always be used, it would be interesting to see this implemented in a way that lets people reproduce an exact sequence of random outputs.
We could implement this as a tag and mechanism, namely <util.random_seed> and server.set_random_seed. Alternatively, we can add <util.random_seed> and <util.random[(<seed>)]. ...>, with no seed specified defaulting to the current seed used.