[graph-tool] How to update graph-tool?