Theia - Cloud & desktop IDE framework implemented in TypeScript