Implement Graph.add_edge_list() for fast insertion of multiple edges