Git diff automatically running backend validation

[cmester0]

It should be possible to make a git diff binary, that has a strategy for resolving conflicts, which tries to run an existing proof, otherwise adds a manual conflict resolution obligations. But this requires calling the different backends doing conflict resolution. We should have this or some alternative to ease proof maintenance, especially when using multiple backends.