software/theia: update package.json

includes vsx registry and our resolution fixes

software/theia/buildout.hash.cfg

@@ -19,7 +19,7 @@ md5sum = 21735765808aac82fb91d53341a3c0d6
 
 [yarn.lock]
 filename = yarn.lock
-md5sum = c2523a5c832f617c374ee621d50d9e52
+md5sum = ae1b596804715acd3512f1e8e6cbae3b
 
 [python-language-server-requirements.txt]
 filename = python-language-server-requirements.txt

software/theia/software.cfg

@@ -77,9 +77,7 @@ mode = 0644
 
 [package.json]
 recipe = slapos.recipe.template:jinja2
-# this comes from https://github.com/theia-ide/theia-apps/blob/0cc6a3dc2a6dec1b2b4f9572e9d878a67dc81ff5/theia-full-docker/latest.package.json
-# but we pin vscode-json-languageserver to 1.2.2, otherwise 1.2.3 is picked and it seems to be incompatible.*
-# See https://github.com/theia-ide/theia-apps/issues/333
+# this comes from https://github.com/theia-ide/theia-apps/blob/2991e3a433f031b22bc80e274f80620d1e6898e5/theia-full-docker/latest.package.json
 template =
   inline:{
       "private": true,
@@ -145,6 +143,7 @@ template =
           "@theia/terminal": "latest",
           "@theia/userstorage": "latest",
           "@theia/variable-resolver": "latest",
+          "@theia/vsx-registry": "latest",
           "@theia/workspace": "latest"
       },
       "resolutions": {