'El Principito', el musical