Switch to tabulated random number generator
Random numbers are now fully determined by the event number and index of their consumer, in a manner similar to what is described here. There will be no fluctuations between consecutive runs of the main program, systematic variations, different job splitting, etc. This fixes #18 (closed).