[graph-tool] Remove an edge with a property