Known issues:
    - arduino-cli does not get stopped reliably upon app shutdown
    - startup time is not as fast we'd like to have it
    - in Electron on OSX, the application menu is incomplete on app startup (see https://github.com/theia-ide/theia/issues/5100)