use different random seed for each invocation by default
Merge pull request #5 from dougalsutherland/random-seeds

use different random seed for each invocation by default