Merge branch 'feat-theia-professor' into 'master'

.dockerignore

.gitignore

.gitlab-ci.yml

Dockerfile

README.md

bash.bashrc

build-plugins.sh

build-recorder.sh

build.sh

plugins/deadlock-coding-0.0.1.vsix

plugins/deadlock-extension/deadlock-coding-0.0.1.vsix

plugins/deadlock-extension/package-lock.json

plugins/deadlock-extension/package.json

plugins/deadlock-extension/src/command.ts

plugins/deadlock-extension/src/core/config.prod.ts

plugins/deadlock-extension/src/core/config.ts

plugins/deadlock-extension/src/core/gitMission.ts

plugins/deadlock-extension/src/core/userConfig.ts

plugins/deadlock-extension/src/extension.ts

plugins/deadlock-extension/src/recorder/command-recorder.ts