[ivette] cleanup socket file

ivette/src/frama-c/server.ts

@@ -476,6 +476,9 @@ async function _launch(): Promise<void> {
     env,
   };
   // Launch Process
+  System.atExit(() => {
+    sockaddr && System.remove(sockaddr);
+  });
   process = await System.spawn(command, params, options);
   const logger = (text: string | string[]): void => {
     buffer.append(text);