Update extensions to fix issue discussed in !895 (comment 126159) and also update theia to its latest version.
This will create a new commit in order to revert the existing changes.
