random-automaton: upgrades
random_automaton could be more powerful
-
don't insert twice the same label -
we need a text based interface, like the one Lucien designed for expressions, that we would use for all the parameters: number of states, whether deterministic, etc.