[graph-tool] specifying the number of cores