Arrange that random seeds are as harmonised as they can reasonably
be between interactive and batch use.

[originally from svn r5896]