Allow pdftoxml to accept options.

The version of pdftoxml on the old scraperwiki site accepted extra options
in the second argument.  This patch add the same argument to this version
of pdftoxml, to allow the -hidden flag to be added when needed.