Python: Graph.get_eid() now accepts vertex names