Switch to one of the recommended redis client libs.

Still slow but this opens the oportunity for flushing in
batches, which should speed things up.