some renaming and restructuring of WB menu items, to conform more to XBoard