Port SDL_GetPlatform to PHP (closes #8)