[graph-tool] Vertex text size proportional to the size of the vertex