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.
yes, this code was added in the interim, and needs to be added here. I was planning to add these items to the `SUPPORTED_OPERATIONS` list today.