Feature request for Dia diagrams: add SVG as accepted export format

[Kilill]

at least for html export most modern browser are capable of handling svg image files and they are dynamically saleable.

not sure about the other output formats though

Edit: fixed, and pull request added