[graph-tool] edge multiplicities vs edge covariates