[r0.0.76] New cog_href syntax.

* Simplifies <<cog_href>> tags (links dropped in text areas). They are now
  in the form <<cog_href>>cog_oid|label<</cog_href>>, making them independent
  of the host name.
* Replaces '%s' % by '{}'.format in html module.