Generate a UUIDv4 using PHP.