djvu: Add support for page labels.

DjvuLibre provides a fileinfo structure where the title, if different
from the id , corresponds to the label of the page.
Updated Spanish translation