a no-nonsense Redis client for PHP