A lion in the library? How about a lion on the stage? A near-life-size puppet lion, that is. Handmade by Jim Henson’s Creature Shop, the critter — expertly controlled by three puppeteers — dons sharp ...