[graph-tool] Graph products in graph-tool: does implementation exist?