Issue #1: Export graphs to GraphML and DOT formats

Both very simple right now.