Issue #1: Export graphs to GraphML and DOT formats (both very simple right now).
Use LabelProvider when writing DOT format.
Fixed test.
Merge pull request #4 from trs123/export-format

Issue #1: Export graphs to GraphML and DOT formats