1. Use of SHA1 hashes for identifying ndoes and justifications in Doyle's TMS.
2. Ability to print TMS arguments to terminal.
3. Integration of TMS with RDF_AXIOM, providing explanations for each deduction.

* [DOYLE,NEW] Added doyle_add_argument/5, a wrapper around doyle_add_node/3 and doyle_add_justification/6.
* [DOYLE,SC] Replaced identifier counters for nodes and justifications, now using SHA1 hashes instead (also for IRIs).
* [RDF_AXIOM,NEW] Integrated the use of Doyle's TMS for recording justifications of deductions.
* [RDF_AXIOM,FIX] Many fixes to RDF(S) entailment: many type restrictions (`aaa`, `uuu`, `xxxx`, etc. in Hayes2004) and a namespace typo.
* [RDF_READ,SC] Relocated predicates from RDF_AXIOMS, now called rdf_find/4, that can be use for single-triple finding of triples using triple syntax (i.e., blank nodes).
* [RDF_READ,SC] Renamed rdf_valuetype/2 to rdf_datatype/2.
* [TMS,NEW] Added tms_justification/5 for easier lookup of a justification's components (antecedents, rules, and consequent).
* [TMS_EXPORT,NEW] Added predicates for printing justifications, nodes, and arguments to the screen.
* [TMS_EXPORT,SC] Export to GIF now uses SHA1 hashes, in line with changes in module TMS.