Add converter from ABBYY to a PDF.

This doesn't work perfectly, because it's not easy to get the font size
correct. It doesn't handle everything that could be in an ABBYY file,
but just enough to work on the XML files I have. It's good enough for a
cursory glance through the files, at least.