Implement multi-levels of undo in the UndoManager

UIOptions does its own model management for two levels of undo (originalModel, savedModel, model). Instead it should use the UndoManager.