Document GraphDumpFile option.