[graph-tool] Ordering of edges returned by EdgePropertyMap.getArray()