[graph-tool] Using graph-tool in Colab after Colab has upgraded to Python 3.7