Redis driver for Python