Add `graph-tool` backend to `scripts/bench.py`

[eriknw]

We would like to be able to compare performance to graph-tool: https://graph-tool.skewed.de

Some algorithms may be different, which can make direct comparisons difficult to do well (for example, stopping criteria for e.g. PageRank could be different).