Added option to set random number seed

Added command line option -r or --seed to set the seed of the random
number generator to the desired value