* doc/org/oaut.org: Adjust the parameters of randaut so that we get a
mix of deterministic and nondeterministic automata.