Exporting of SVG images should be DPI-independent

[glopesdev]

When exporting the workflow as a vector SVG image, the element sizes are set according to the UI scale factor for high-DPI compatibility. Unfortunately, this makes it harder to work with exported vector images when creating collaborative documentation, websites, etc., since content size might differ depending on which computer is used to export.

Since vector images are already resolution-independent, there is no need to scale elements further and vector elements should just be exported at their reference size.