[graph-tool] Adding an edge by vertices indices?