Random {N,D}FA automata generator, ExtendedNFA fix

Jan Trávníčekrequested to merge
AAG-generator into master

Merge the new random automata generator and fix of ExtendedNFA

Merge request reports