gtkui: Use audgui_format_time().
skins: Respect "show leading zero" setting.  Partially closes: #309.