[graph-tool] Pagerank centrality