Benchmark a php script