chore: updated to Theia `1.35.0`#1976

kittaakos wants to merge 4 commits intoarduino:mainarduino/arduino-ide:mainfrom

kittaakos:theia-1.35.0kittaakos/arduino-ide:theia-1.35.0Copy head branch name to clipboard