Added a simple Web-based TMS graph explorer.

* [DEV_SERVER,WEB_CONSOLE,SC] Cleanup of the interface between the Web console amd the debug server. Moved markup molding to DEV_SERVER.
* [TMS,NEW] Added tms_node_to_url/3 for creating URLs for TMS nodes in embedded contexts (such as a debug server).
* [TMS_EXPORT,EXT] tms_export_node/3 now returns the context of a node (this used to be the proof structure of the node).
* [TMS_EXPORT,NEW] Added a highlight option for the node that is used in navigation.
* [TMS_EXPORT,NEW] TMS graph navigation by adding URLs to TMS nodes.
* [TMS_WEB,NEW] Prepared the context in which TMS graph navigation can work.
* [RDF_DATASET,DOC] Added documentation for rdf_create_dataset/3.
* [RDF_GRAPH,NEW] Added rdf_graph/2.
* [RDF_READ,EXT] Added rule number abstraction for graph name.