Undo includes Code Checking Box Highlighting

[jcal13]

When using Undo, changes to the colour of boxes in the memory model from checking the answer are included in the "undo states". These colour changes should probably not be included in the undo history.