Replaced pdfimages with pdftoppm

Since pdfimages managed to break a page apart into multiple images
(sometimes rotated), the tool was changed to pdftoppm. However this
comes with the tradeoff of lower OCR accuracy.