[graph-tool] [announcement] New version from graph-tool