[graph-tool] Install graph-tool locally