time2string: added function wums_s() to print time as a HTML string

* time2string: added function wums_s() to print time as a HTML string:
  * print as 12u34m56.7s, in HTML using superscripts