pu.util: 增加 format_time 函数