[Theia v1.45.1] update trace extension used in docker image

[Theia v1.45.1] update trace extension used in docker image #2660