software/theia: update npm packages to current "next"

Also stop including python, as we can use vscode python instead.
Add a README to describe how to do this.

software/theia/README.md

+# Theia software release
+
+Theia is a cloud (and desktop) IDE https://www.theia-ide.org
+
+This version comes pre-configured with a few plugins, but does not come with python plugin, to let
+you choose between theia and vscode one.
+
+## Installing vscode extensions
+
+To install vscode's python plugin ( https://code.visualstudio.com/docs/languages/python ):
+
+<key>F1</key> `Deploy plugin by id` and enter `vscode:extension/ms-python.python` and wait for a while.
+Check theia's log files in case of issues.
+
+see https://github.com/theia-ide/theia/wiki/Testing-VS-Code-extensions for more details.

software/theia/buildout.hash.cfg

@@ -19,7 +19,7 @@ md5sum = f0d19916c838e4ec2bb0a697f997adde
 
 [yarn.lock]
 filename = yarn.lock
-md5sum = fc2f20d496911241a0d9001c445d6158
+md5sum = b63a993a13e7c3b16b66c25fac5ac8b9
 
 [python-language-server-requirements.txt]
 filename = python-language-server-requirements.txt

software/theia/software.cfg

@@ -78,25 +78,37 @@ mode = 0644
 
 [package.json]
 recipe = slapos.recipe.template:jinja2
-# this comes from https://github.com/theia-ide/theia-apps/blob/598d4dc9d4f9e0514869273c069f734a41f20207/theia-full-docker/next.package.json
+# this comes from https://github.com/theia-ide/theia-apps/blob/def6d29a5fb3739aebc17c6a5b67f1b5c16caacd/theia-full-docker/next.package.json
 # but "@theia/php": "next" was removed, because we don't have php/composer component so installation failed
 template =
   inline:
     {
       "private": true,
+      "theia": {
+          "frontend": {
+              "config": {
+                  "applicationName": "Theia SlapOS",
+                  "preferences": {
+                      "files.enableTrash": false
+                  }
+              }
+          }
+      },
       "dependencies": {
-      "typescript": "latest",
           "@theia/callhierarchy": "next",
           "@theia/core": "next",
           "@theia/cpp": "next",
+          "@theia/debug": "next",
+          "@theia/debug-nodejs": "next",
           "@theia/docker": "next",
           "@theia/editor": "next",
           "@theia/editorconfig": "next",
-      "@theia/extension-manager": "next",
+          "@theia/editor-preview": "next",
           "@theia/file-search": "next",
           "@theia/filesystem": "next",
           "@theia/git": "next",
           "@theia/go": "next",
+          "@theia/getting-started": "next",
           "@theia/java": "next",
           "@theia/json": "next",
           "@theia/keymaps": "next",
@@ -111,10 +123,12 @@ template =
           "@theia/outline-view": "next",
           "@theia/output": "next",
           "@theia/plantuml": "next",
+          "@theia/plugin": "next",
+          "@theia/plugin-ext": "next",
+          "@theia/plugin-ext-vscode": "next",
           "@theia/preferences": "next",
           "@theia/preview": "next",
           "@theia/process": "next",
-      "@theia/python": "next",
           "@theia/ruby": "next",
           "@theia/rust": "next",
           "@theia/search-in-workspace": "next",
@@ -126,7 +140,8 @@ template =
           "@theia/userstorage": "next",
           "@theia/variable-resolver": "next",
           "@theia/workspace": "next",
-      "theia-yang-extension": "next"
+          "theia-yang-extension": "next",
+          "typescript": "latest"
       },
       "devDependencies": {
           "@theia/cli": "next"