Improvements to TMS Web front-end.

* [HTML_TABLE,EXT] Added option `cell_value/1`. Added `IRI-Label` pairs for cell values.
* [TMS,EXT] Added TMS node identifier as search term in IRI.
* [TMS_WEB,NEW] Web page on `/tms_nav` allows the browsing of TMS-es, justifications, and nodes.