Choosing seed in Main changes to Gen.

Using "Maybe" the seed may be optionally given (or randomised if not).
Not only two types of generateMineGrid definitions one of which is out
of the IO monad entirely.