restore "View" menu and shortcut ctrl-R = run

Lost when splitting CentralWidget and MainWindow, !2413 (merged).

See "TODO 5mar" in source code.