copying a graph

Keep a dict from each original node to its copy: create the copy on first visit, then wire neighbours through the dict.

Builds on: graph DFS, dict membership