software/theia: Add embedded-instance-parameters option
Add the embedded-instance-parameters option which applies when an embedded instance is requested in Theia via the embedded-sr option. It corresponds to parameters to be passed to the embedded instance, in the form of a JSON string: if the string can be deserialized into a python dictionary, that dictionary will be passed to the request method.