software/theia: version up

vscode extensions can no longer be installed from marketplace, but we
can download extensions at installation time.
Install ms-python extension so that we can have good developer
experience with python out of the box.

software/theia/README.md

@@ -5,15 +5,6 @@ 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.
-
 ## jedi
 
 [jedi](https://github.com/davidhalter/jedi) which is used by both thiea and vscode python plugins has

software/theia/buildout.hash.cfg

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