Lots of changes, to fix commit during squash
Nice print out for with-probe-axioms

The is macro needs support to know how to print out
forms. Before this patch a failure inside of with-probe-axioms
just gives an error message "expected true, got false".
Cache no longer dynamic, documentation updated.

The cache is now fully automatic and also no longer needs to be
dynamic. The documentation was just out of date.
Annotation can now take a IRI directly.

This just uncovers another overloaded method in the OWL API.
Typo in inverse documentation.
Performance enhancement to default-ontology

Currently, we are checking for a :ontology option automatically, even if
the first arg is an ontology. We only use :ontology as a fall-back now.
data-and required OWL API data range objects.

We can now also support builtin data ranges which are specified
with keywords everwhere else.
Support for rendering ontologies.

A convienience function to render either an OWL API ontology object,
or an IRI to tawny forms.
Can now render to multiple forms. Core.logic for query.

Previously, render could only produce an "evalable" form. Now it can also
produce a clojure data structure form which is better for querying. At the
same time all dynamic vars have been removed, which makes laziness possible
(or at least no longer a problem). Most of the implementation has been made
private. Query has been updated to reflect, and some logic goals have been
added.
Bit clean up of todo!