fine-tune the UI menus based on user permissions
Merge pull request #231 from cgalvarino/ui_menus

OOIION-1588 and OOIION-1589: fine-tune the UI menus based on user permissions