what is the musical pippin about