shell脚本 统计一段程序运行时间【转】