Merge branch 'theia-ide' into 'master'

Theia ide

See merge request !158

eclipse-theia/imports.yml

+---
+group:
+  name: 'eclipse-theia'
+  description: ''
+  projects:
+  - name: 'theia'
+    description: 'Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.'
+    mirrorRelease: false
+    topic: 'ide,editor,language-server-protocol,electron,typescript,cloud-ide' 
+  - name: 'theia-example'
+    description: ''
+    mirrorRelease: false
+    topic: ''
+  - name: 'cryptodetector'
+    description: ''
+    mirrorRelease: false
+    topic: '' 
+  - name: 'theia-cpp-extensions'
+    description: ''
+    mirrorRelease: false
+    topic: '' 
+ 
\ No newline at end of file