Random-number generators in analysis

There used to be three different random-number generators in the Loopers. Replace them with a single one. Allow specifying its seed with an argument given to runHZZ2l2nu. If no seed is given, a unique random seed will be chosen each time.

This change is mostly needed to allow a fully deterministic execution, which is useful to compare results produced with different versions of the code.