`digraph-union:`procedureUnion of directed graphs: given two digraph objects, returns a new digraph containing the union of nodes and edges from the given digraphs. Argument

`MERGE-LABEL-FN`is a procedure that returns a node label given a node index and the labels for that node from the two given digraphs.