Updates for PDFjs, WebODF, and making it CI-friendly

This includes the changes brought by #21, #25, and exposes the PDF plugin's version information for the about dialog.