test structure updated
Made the setters chainable
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
Make neighbour lists be linked hash sets, simplify use
adding features to synonyms needs to be symmetric
Fixed mad cow bug. Taxonomy actor interactions were not following the
right levels. Added one level up or down from unapplicable nodes, and
added a boundary for direct only requests.
Fixed bug with checking subsumption of simple concepts

C subclass of D, D subclass of E.
Subclass listing was working correctly, but asking for 
is C subclass of E entailed?
returned false due to early exit from the taxonomy check.
tests updated