Random: add seed parameter
Add a parameter (at configuration) that modifies the random number generated.
I am simply shifting the ID (and/or timeinteger) by a constant number.
Should I add a warning when this shift is non zero?
You can compile the code with the following way: ./configure --with-random-shift-time=12 --with-random-shift-id=122
Edited by Loic Hausammann