PHP bindings for Hiredis (Redis client)