* [GRAPHVIZ,EXT] Added the graph_name/1 option to the graph attributes portion of a graph compound term. This allows the name of the graph (a C name) to be different from the graph label that is displayed (something potentially more complicated than a C name).