[graph-tool] Way to get vertex ids that belong to a group