software/theia: fix "Upload Files..."

Upload files feature uses a websocket at /file-upload , so configure frontends
to allow web sockets on this path.

software/theia/buildout.hash.cfg

@@ -15,7 +15,7 @@
 
 [instance]
 filename = instance.cfg.in
-md5sum = 211601e6fe818ab60c8454549f5fcb71
+md5sum = 1e843b325e5578a7344e00db5168d4ba
 
 [yarn.lock]
 filename = yarn.lock

software/theia/instance.cfg.in

@@ -59,6 +59,9 @@ template = inline:
     proxy /services $${theia-instance:base-url} {
       websocket
     }
+    proxy /file-upload $${theia-instance:base-url} {
+      websocket
+    }
     basicauth $${frontend-instance-password:username} $${frontend-instance-password:passwd} {
       realm "Theia"
       /
@@ -273,7 +276,7 @@ slave = true
 config-url = $${frontend-instance:url}
 config-https-only = true
 config-type = websocket
-config-websocket-path-list = /services
+config-websocket-path-list = /services /file-upload
 return = domain secure_access
 
 [publish-connection-parameter]