Add DFA and Moore functionality for L# and adaptive L#

[lkruger27]

DFA and Moore functionality has been added to L# and adaptive L#.
The consistency check in L# and adaptive L# has been added.

Most changes are in:

• In ObservationTree a new node called MooreNode that is used for DFA/Moore is added.
• In AdaptiveObservationTree the way of handling different input alphabets has changed slightly to be better integrated with DFA/Moore
• In most other files we add minimal functionality to accommodate DFA/Moore.
• Only the ADS and StateMatching were not trivial changes. Changes in ADS are based on the DFA-L# paper by Frits Vaandrager and Martijn Sanders. In StateMatching, we also use the empty word to determine the matching degree.

[emuskardin]

Nice! Thank you.

Have you tested it with the loop I have provided you previously? 100 random models of each type (moore, mealy, dfa) per configuration?

[lkruger27]

Yes, I tested all configurations using your test loop!
I don't think I will add any functionality soon, so feel free to proceed with the new release.

And thanks for all the quick replies and PRs :)