Simple PHP timer for benchmarking