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