The Hunchback Of Notre Dame, The Musical