使用php-timeit估计php函数的执行时间