Theia IDE challenges Visual Studio Code

The open-source code editor is now generally available.