Documentary on the making of Guillermo del Toro's 'Pan's Labyrinth.'