Pipeline deploy-sprotty-theia

Nightly/Next Deployment job for sprotty-theia. Publishes to npm.
Recent Changes