Some utilities to work with PDF files, mostly based on the poppler library