JS 时间格式化 对Date的扩展，将 Date 转化为指定格式的String