Add a command line option for seeding the random number generator to
obtain deterministic results.