Allow linux shell to use html menus

Check ``brackets.platform`` when adding native menu support.