Convert backend
PDFtoPS backend
Some encoding fixes in tests
Switch to a dvipng backend. Better docs.