[Ivette] disconnect the server at exit to allow the process to exit

ivette/src/frama-c/server.ts

@@ -284,6 +284,8 @@ export function stop(): void {
   }
 }
 
+Dome.atExit(stop);
+
 // --------------------------------------------------------------------------
 // --- Server Control (Kill)
 // --------------------------------------------------------------------------