Added the ability to give explanaitions in SVG for things a TMS deduced.

* [DOYLE,SC] Uses module TMS for assigning new IRIs to nodes and justifications.
* [RDF_AXIOM,NEW] New Web predicate for drawing SVG explanations for deduced triples.
* [RDF_META_AUTO_EXPAND,FIX] Module-sensitivity error.
* [TMS,NEW] Added predicate for assigning IRIs to nodes and justifications based on SHA1 hashing.
* [TMS_EXPORT,NEW] New Web predicate for drawing SVG arguments of the node that has the given node label.
* [TMS_EXPORT,DOC] Added documentation headers for several predicates.
* [TMS_EXPORT,FIX] Edges for justification GIFs would not be found since an expanded IRI cannot match a prefixed/unexpanded IRI.
Merge branch 'master' of https://github.com/wouterbeek/PGC