Theia frontend custom
Add frontend configuration options in Theia similar to those in Jupyter:
- frontend sr url
- frontend sr type
- frontend instance name
- frontend instance guid
And the same for an additional frontend that is only requested if an additional instance guid is provided.
Edited by Xavier Thompson