Add export to PNG. This should be relatively easy.

Add two options: Export current page only, and export all pages as a sequence of images.

For the latter, export to a fast intermediate format, and use a thread pool to do the PNG compression number crunching in parallel.