[graph-tool] efficient random sampling of paths between two nodes