Guillermo del Toro’s Pinocchio (directed by del Toro and Mark Gustafson) is a new musical adaptation of Carlo Callodi’s famous folktale, rendered in lovingly detailed