[php] Accurate way to measure execution times of php scripts