A tool for replication from mysql to redis