PDF processor now generates HTML

The old image-based PDF processor has been replaced with one
that uses `pdf2htmlEX` and generates an html file for each page.