unified and simplified loaders, ontology loaders, change loaders etc. to
just AxiomLoader; lot's of changes; OWL API reasoner now loads axiom
lazily even if flush() is called; new OWL API low level incremental test
is added
small addition to low-level OWL API incremental reasoning test