Make my extract-page-text.py redundant.

Use pdftotext instead.
Now solution is all trad unix commandline tools