Ignore lein generated files.
Dispose of all reasoners when creating a new factory.

Previously, reasoners were being disposed when an ontology
was created, but not when the reasoner factory was changed.
This causes especially problems for reasoner_test.clj which
does this a lot. It was causing tests to be non-independent
of each other which was very confusing. It would probably
also cause a resource consumption issue.
Use a non-buffered reasoner.

Non buffered reasoners also answer with respect to changes in the
ontology, while reasoners wait for a call to the flush method. Since
I care more about correctness than performance, this seems a better
reasoner to use.
New coherence tests

These were failing after the changes to non-buffering reasoner. Fixed
in turn by disposing of reasoners correctly.
Added owlonly for consistency.
Added test names.

I tend to make a lot of test files. This ignores them all.
Added equivalent classes definition.
Improved documentation for other predicates.
owlimport was broken due to a type change.

The value of the :iri key is now an IRI in the first place,
so attempting to make it one was breaking.

New test added to detect issue in future.