interface: Disable redo when making a move

Making a move will clear the redo stack, so the redo button is useless
at that point.
interface: Fix leak of top-level menu models
interface: Fix a leak in the redo stack handling