Closes #27: CTRL-z to undo, CRTL-^-z to redo