De 3 Biggetjes, De Musical