GUI: move visit-web-doc from WelcomeView to Help pull-down menu

Remove the button "Website" from the Welcome view.

Instead, add an entry "visit web docs" on top of the main Help menu.