the story of pippin the musical