Merge branch 'pull-on-start' into 'master'

.gitignore_recorder

Dockerfile

build-plugins.sh

plugins/deadlock-extension/compile.sh

plugins/deadlock-extension/package-lock.json

plugins/deadlock-extension/package.json

plugins/deadlock-extension/setup-dev-env.sh

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

plugins/deadlock-extension/src/config.ts

plugins/deadlock-extension/src/extension.ts

plugins/deadlock-extension/src/gitMission.ts

plugins/deadlock-extension/src/recorder/README.md

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

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

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

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

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

plugins/deadlock-extension/src/userConfig.ts

plugins/deadlock-extension/src/userConfigTheia.ts

plugins/deadlock-extension/src/view/briefingView.ts