Redis migration

This is the code for the redis migration backend.

It takes an old and a new backend, and tries to copy existing keys to the new database before answering anything.
I don't think we want a raw flush db anywhere in our app code. Sounds like a recipe for a big catastrophe.