Merge branch 'topic/fix-gnatef' into 'master'

Fix passing `-gnatef` to GNAT in vscode tasks

See merge request eng/ide/ada_language_server!1466

Author: reznikmm

integration/vscode/ada/src/taskProviders.ts

@@ -80,7 +80,7 @@ async function computeProject(taskDef?: CustomTaskDefinition): Promise<string> {
 
 // Call commonArgs on args and append `-gnatef` to generate full file names in errors/warnings
 export const getDiagnosticArgs = (): string[] => {
-    const p_gnatef = ['-cargs', '-gnatef'];
+    const p_gnatef = ['-cargs:ada', '-gnatef'];
     return p_gnatef;
 };