Small utility for interactively migrating a bunch of redis servers to another bunch of redis servers.