PHP 5.3+ simple guid generator