A tool to export data from Redis to MySQL