shrink Docker image
The tiagopeixoto/graph-tool:latest
image I pulled weight 7.3GB (!)
While keeping the same basis, I suggest a multistage-build, reducing the image to 2.06GB.
If the graph-tool community show any interest to it, I could try to make an even smaller image, Alpine-Linux based.
See attached Dockerfile.
Note that my version is not subject of #556 (closed) nor #557 (closed).