Casino, a tool to migrate applications