PHP5 extension providing an interface to the POSIX clock_gettime and clock_getres functions