graph-tool: version bump to 2.2.31

added `--disable-optimization` to respect superenv `-Os`