Closes #1030
Add documentation button in board menu and hide the support bubble in the editor. Makes it accessible only by clicking the "Help" button