SVG export

[dfabulich]

Apropos #40, it would be cool if Trizbort could export to SVG.

I think this could be much easier to implement than exporting to PDF, since SVG is just an XML format. (Plus, it's relatively easy to convert SVG to PDF.)