Menu Editor - an editor for IceWM's menus and console