export in other formats

[Rjvtv]

now the export option is png but exportation in other formats is easier to adapt it, especially since saving in not (yet) possible

[sjvrijn]

In which other formats would you like to be able to save the diagram?

[sverhoeven]

PR #139 adds graphml and gexf export formats.