software/theia: Add 'embedded-sr' option
embedded-sr: (optional) URL of an SR to be supplied and requested automatically when instanciating Theia.
embedded-sr-type: (optional) Software Type of the above SR, passed to the request.
The only effect these options have is to do
standalone.request(SR, "Embedded Instance", TYPE). Used in conjunction with the
autorun option, they would allow an SR to be deployed in Theia "from the interface".