Themed menus: allow Undo/Redo options to always be displayed.

This changes the treatment of the Undo and Redo menu items in the
cutlist editor so that they can always be displayed, even when no undo
or redo action is available.  By default, unavailable undo/redo
actions are hidden via the show="active" attribute.