Graph: Add naive implementation of graph merge

Allows to merge a graph B into A, resolve it to equal B,
and then undo it to return to A using the Journal