[documentation] Change IDE Section to reflect our stand towards Theia, VS Code and other IDEs #900

Open JohannesLandgraf opened 3 years ago