Implement undo/redo support for proofreading

[daniel-wer]

Feedback from external and internal proofreaders has been that proofreading requires some trial and error for finding out where exactly an agglomerate should be split, for example. Undo would be extremely beneficial for that.