Random number generator modified so it uses value from seed.in, if available, but otherwise just uses the time to seed the random number generation.