Implement NL*

[misberner]

Implement the NL* algorithm for learning the NFA subclass of RFSA (residual finite-state automata), as described in
B. Bollig et al: Angluin-Style Learning of NFA

[misberner]

NL* has since been implemented (algorithms/nlstar).