Add script to process pdf2html xml files into wikitext