Random.hs: a small utility to generate a bunch of ranodm numbers.