Theia: fix installation
This addresses both :
- some random failures we sometimes have when installing
python-language-server
fail - caddy no longer being installed here since !821 (merged)
This addresses both :
python-language-server
failThis will create a new commit in order to revert the existing changes.