redis-0.12: A driver for Redis key-value database