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.

I'll be sending a separate PR for annotations later on as I want to keep the PRs small and manageable.

This work has originally been done by @timbloeme