add gt_timer_get_formatted()
add HTML support