A “Heathers” musical is coming to the West End