[graph-tool] Edge properties