[graph-tool] Algorithm to find the largest connected cluster