feat: professeur can override bash environnement

deadlock-plugins/deadlock-extension/src/core/mission/missionDevContainer.ts

@@ -21,6 +21,10 @@ const defaultSettings = {
   'terminal.integrated.profiles.linux': {
     bash: {
       path: '/bin/bash',
+      "args": [
+        "--init-file",
+        "/deadlock/init_bash_env.sh"
+      ]
     },
   },
 };