Script to migrate magento mysql sessions to magento redis sessions. It is not as polished as the migrateSessions from files, but it worked for me in Magento EE 1.13.02.