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.
Then it should be inside this backend and we should have the same behavior for all backends.