software/theia: update extensions

Status Job ID Name Coverage
  External
failed SlapOS.SoftwareReleases.IntegrationTest-Jerome-Python3

06:00:23

failed SlapOS.SoftwareReleases.IntegrationTest-Jerome-WIP

06:27:29

failed SlapOS.SoftwareReleases.IntegrationTest-Jerome-Python3

04:07:42

failed SlapOS.SoftwareReleases.IntegrationTest-Jerome-Python3

07:34:10

failed SlapOS.SoftwareReleases.IntegrationTest-Jerome-WIP

05:37:56

passed SlapOS.SoftwareReleases.IntegrationTest-Jerome-WIP

07:19:05