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

Closes #1073.