Allow seed as command-line argument

The option to give the seed as a command-line argument makes scripting much
simpler.