Running Theia (VSCode-like IDE) in the Cloud & Sharing it Securely