Many minor fixed and additions to the code for converting between and opening GraphViz file formats.

* [DOYLE,DOC] Moved documentation from module header to respective helper predicates.
* [DOYLE,SC] Renamed [cp_,sl_,]justification/2 to member_of_[cp_,sl_,]justification/2.
* [FILE_EXT,NEW] Added base_or_file_to_file/3.
* [GRAPHVIZ,SC] Register the file types in a hierarchic way.
* [GRAPHVIZ,SC] Register the file types using DB_EXT (no duplicates).
* [GRAPHVIZ,FIX] convert_graphviz/4 would only write to SVG (not to other formats).
* [GRAPHVIZ,EXT] convert_graphviz/4 now acceps an instantiated output file (this is not the preferred use).
* [GRAPHVIZ,SC] Added determinism for file type / file extension conversions in convert_graphviz/4.
* [OS_EXT,SC] Register file types using assert_novel/1 (avoiding duplicate assertions in the database).
* [OS_EXT,EXT] open_dot/1 and open_pdf/1 now accept both full and base file arguments (using FILE_EXT).
* [OS_EXT,FIX] open_dot/1 and open_pdf/1 would break on the way in which process detachment was specified.
* [OS_EXT,DOC] The package dependencies for open_dot/1 and open_pdf/1 are specified for UNIX.
* [TMS_EXPORT,SC] Separated graphviz export (to stream) from the various way in which this stream can be stored to file and then displayed.
Doyle's TMS is now functional for simple TMSes, also exports correctly.

* [DOYLE,SC] Redone the list of public / exported predicates to fit the generic TMS module.
* [DOYLE,EXT] Allow multiple Doyle TMS' to be created by adding the TMS argument to many predicates (all that RDF-assert).
* [DOYLE,SC] Distinguish between the doyle and the tms namespace.
* [DOYLE_WEB,NEW] New module for Web display of Doyle's TMSes.
* [GRAPH_GENERIC,SC] Uses generic/3 from META_EXT.
* [META_EXT,NEW] Added generic/3.
* [TMS,NEW] New module that contains predicates that apply to TMSes in general.
** Allows TMSes to be registered.
** Added 3 test cases for Doyle's TMS.
* [TMS_EXPORT,SC] Use tms namespace instead of doyle namespace; and use only generic TMS predicates for exporting (no longer Doyle specific).
Added TMS-based RDF(S) materialization. This seems to work, using the Doyle TMS and the generic TMS2GV exporter.

* [DOYLE,EXT] All TMS assertions are made in =|Graph:1|=. Nodes and justifications start from flag 2. This allows reasoning systems that use the TMS to RDF-assert on indices >1 (see RDF_TMS for an example of this). This is an easy way of interrelating an RDF triple store (i.e. rdf/4) with a TMS via node IDs.
* [RDF_TMS,NEW] New module implementing TMS-based RDF(S) materialization.
* [RDF_EXPORT,NEW] Added rdf_resource_naming/2 and rdf_triple_naming/4.
* [RDF_GRAPH,O] Slight optimization for rdf_bnode_replace/3 in case there are no shared blank nodes.
* [RDF_GRAPH,FIX] Critical typo in rdf_bnode_replace/4.
* [RDF_GRAPH,EXT] Added type checking to rdf_graph_merge/2.