A PHP library for manipulating MySQL UUIDs into better performing primary keys