A simple timing utility, useful to track execution time of bits of php code.