Diff utility

[bgamari]

It would be great if we could produce a diff of two dumps, dealing with differences in binder naming appropriately.

[bgamari]

#23 explores merging work arising from @pbrinkmeier's thesis into ghc-dump.

[pbrinkmeier]

Hi, I recently considered working on corediff again anyways so I'd be happy to help! Do you have anything concrete you could use help with?

[bgamari]

Frankly, I think the work is nearly ready to merge and continue iterating in-tree. However, IMHO we should drop the .cbor files in the tree and rather offer a shell script or similar to build the demos.