Remove vestigial undo/redo from GUI, including (now inactive) icons from toolbar#802

tturocy merged 1 commit intomastergambitproject/gambit:masterfrom

dev_undoicongambitproject/gambit:dev_undoiconCopy head branch name to clipboard