PHP library for timestamps. Comparisions, timers, ect.