Minimalist Redis client for PHP