v1.3.4: PDF generation

* The generation of PDFs has been completely reworked. Text ist now
fully selectable, but _not_ affected by CSS.
* Removed the option to save the file as a PNG.
* Fixed a bug that caused longer text to be cut off in the editing area.