feat: simplify board and port handling (#2165)

Use Arduino CLI revision `38479dc`

Closes #43
Closes #82
Closes #1319
Closes #1366
Closes #2143
Closes #2158

Ref: 38479dc706

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>

arduino-ide-extension/scripts/utils.js

@@ -113,6 +113,8 @@ function buildFromGit(command, version, destinationPath, taskName) {
     shell.echo(`<<< Checked out ${commitish}.`);
   }
 
+  exec('git', ['-C', tempRepoPath, 'rev-parse', '--short', 'HEAD'], shell);
+
   shell.echo(`>>> Building the ${taskName}...`);
   exec(command, ['build'], shell, { cwd: tempRepoPath, encoding: 'utf8' });
   shell.echo(`<<< Done ${taskName} build.`);