graph-tool: add support for --with-python3
Trivial merge