split new features failures
enable updating stats and printing them
needLogging added to config
improve logging similarity with FaCT++
allow a list of axioms to be passed in the reasoner to define the order
TaxonomyVertex improved method names, all link changes done in class