This is a port of pdftohtml, which converts pdf-files into nicely
formatted html, combined with png images.
The HTML generated uses frames to emulate the content listing from
the pdf.