Add new time/intervals.php lib, which as of now, just has a (not yet fully implemented) function called 'readInterval' which will return a DateTimeInterval (built-in PHP class) from a human-readable string, such as "3 days".