Minor refactorings in ReuseTree
Introduced automatalib.properties example
Merge pull request #15 from LearnLib/algorithm-features

Algorithm features