sc ide: improve server boot/quit actions

* Offer separate boot and quit actions.
* Hide the unified boot-or-quit action from configuration. Use it only as
  a menu placeholder and proxy.
* Update the unified action with text and shortcuts from the separate
  actions according to server status and configuration.
sc ide: improve interpreter start/stop actions

Same logic as for server boot/quit actions in the previous commit.