‘Willem van Oranje’ is een vermakelijke geschiedenisles, maar als musical niet erg geslaagd