Add a diff command

[cmungall]

(maybe not high priority)

I would like to be able to do a diff between two patterns at a level of abstraction above ASCII. This is for owl_patternizer evaluation. I don't think this needs to be semantic (no need to reason) but it should be structural. E.g. tries to match variables based on domain/range, then compare each text generator.