pippin the musical short synopsis