Generate a UUID v4 using PHP.