software/theia: adjust frontend request for Theia 1.24.0

Since 1.23.0 ( https://github.com/eclipse-theia/theia/pull/10514 ),
Theia uses socket.io and it needs /socket.io to support websocket,
otherwise it falls back to HTTP polling, which is significantly slower.

software/theia/buildout.hash.cfg

@@ -15,7 +15,7 @@
 
 [instance-theia]
 _update_hash_filename_ = instance-theia.cfg.jinja.in
-md5sum = 59d56d6a72c85f1631a1a87bb51af765
+md5sum = faf8c84393118a023dd73888ef3075ce
 
 [instance]
 _update_hash_filename_ = instance.cfg.in

software/theia/instance-theia.cfg.jinja.in

@@ -172,7 +172,7 @@ slave = true
 config-url = $${frontend-instance:url}
 config-https-only = true
 config-type = websocket
-config-websocket-path-list = /services /file-upload
+config-websocket-path-list = /services /socket.io /file-upload
 return = domain secure_access
 
 [remote-frontend]
@@ -252,6 +252,9 @@ template =
     proxy /services $${theia-instance:base-url} {
       websocket
     }
+    proxy /socket.io $${theia-instance:base-url} {
+      websocket
+    }
     proxy /file-upload $${theia-instance:base-url} {
       websocket
     }