allow linux shell to use html menus

Changes how we hide the HTML menus by first looking for ``brackets.app.addMenu``.