remove undo menu item

Remove the "undo" menu item from the options menu in the cards browser.
It is currently not implemented and it is just a source of confusion for users.
Also, mark the commented code corresponding to this issue.