Implemented the Kearns/Vazirani algorithm for DFA and Mealy learning
Merge pull request #22 from LearnLib/kearns

Implemented the Kearns/Vazirani algorithm for DFA and Mealy learning