Adds PDF export

Adds a PDF export button and a textfield to allow the user to specify a filename.

I haven't been able to figure out how to maintain aspect ratios between each of the exports, unfortunately... I guess that's next...!