Redis connection pooling

I added connection pooling to the Redis client. Previously the client could only be used from a single fiber, with no way of moving it to another. That's now handled automatically by the connection pool.