Filtering of symbols via reflexive edges in the reuse tree
filter out symbols represented by reflexive edges in the reuse tree.
Fixed bug in DTLearnerHypothesis, made DHC builder non-final
Replaced generic output parameter name "O" by "D" ("O" is now reserved for Mealy machine outputs), fixed Ma*h*ler typo
Merge pull request #25 from LearnLib/additional-reuse-info

Additional reuse info