to_dot does not work for graphs that don't implement vertex map

[Keno]

I suppose the best thing to do is to keep the vertices in a hash table and print them in that order. Alternatively, my graph has a unique memory address for every vertex, but that didn't seem right to use as an index, so maybe we need some sort of vertex_id concept.