Theia applications examples - docker images, desktop apps, packagings - theia-ide/theia-apps