Initial version of NL* algorithm
Renamed learnlib-nlstar to nlstar
Added comments to NL* implementation
Fixed copyright headers
Merge pull request #26 from LearnLib/nlstar

Nlstar