Sueño de una noche de verano, el musical