feat: user's git now has preconfigured username/email

set git username/email with a 'system' scope
NB: 'global' scope would  not be enough since the user running deadlock-recorder is 'root' and the terminal in vscode uses theia user

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

@@ -13,7 +13,7 @@ export default class GitMission {
     private git: SimpleGit;
 
     constructor(private userConfig: UserConfig) {
-        const options: SimpleGitOptions = {
+        const options: Partial<SimpleGitOptions> = {
             baseDir: PROJECT_SRC_PATH,
             binary: 'git',
             maxConcurrentProcesses: 2,
@@ -56,8 +56,8 @@ export default class GitMission {
 
             await this.git.init();
             await this.git.addRemote(DEFAULT_REMOTE, remotePath);
-            await this.git.addConfig('user.email', this.userConfig.getCurrentUserDetails().email);
-            await this.git.addConfig('user.name', `${this.userConfig.getCurrentUserDetails().lastName} ${this.userConfig.getCurrentUserDetails().firstName}`);
+            await this.git.addConfig('user.email', this.userConfig.getCurrentUserDetails().email, false, "system");
+            await this.git.addConfig('user.name', `${this.userConfig.getCurrentUserDetails().lastName} ${this.userConfig.getCurrentUserDetails().firstName}`, false, "system");
 
             return Promise.resolve(this);
         } catch (e) {