[graph-tool] libcgal migrated to version 10

Hi, python-graph-tool for Debian Sid depends on libcgal9 but libcal switched to libcgal10 for a couple of months now. A rebuild will probably fix this. cheers, josch