Enable open-vsx marketplace for the remote development
Closes gitlab#371616 (closed)
This MR ensures that Remote Development WebIDE is correctly configured for installing and using remote extensions.
This MR also adds documentation about how to start a VS Code server for the Remote Development WebIDE.
Edited by Tomas Vik