Implement a lightweight "diff" printing wrapper

[yamaguchi1024]

This came up while working on the interactive scheduling editor with Mario. We thought that just showing the differences between two Exo processes would already be quite useful. We can implement something lightweight and expose it as part of the Exo API.