Licence change: python-graph-tool GPLv3 -> LGPLv3