Added a very basic graph dumper for #5. Right now, only dumps graphs into GEXF format.