Reuse GobFpath.cwd and GobSys.exe_dir

Author: sim642

src/config/gobConfig.ml

@@ -404,8 +404,7 @@ struct
 
   (** Merge configurations form a file with current. *)
   let merge_file fn =
-    let cwd = Fpath.v (Sys.getcwd ()) in
-    let config_dirs = cwd :: Fpath.(parent (v Sys.executable_name)) :: Goblint_sites.conf in
+    let config_dirs = GobFpath.cwd () :: GobSys.exe_dir :: Goblint_sites.conf in
     let file = List.find_map_opt (fun custom_include_dir ->
         let path = Fpath.append custom_include_dir fn in
         if Sys.file_exists (Fpath.to_string path) then

src/framework/xsltResultOutput.ml

@@ -288,7 +288,7 @@ struct
     Timing.wrap "graphviz" (ProcessPool.run ~jobs:(GobConfig.jobs ())) tasks
 
   let copy_resources ~result_dir =
-    let xslt_dirs = Fpath.(parent (v Sys.executable_name) / "xslt") :: Goblint_sites.xslt in
+    let xslt_dirs = Fpath.(GobSys.exe_dir / "xslt") :: Goblint_sites.xslt in
     let xslt_dir = List.find_opt (fun dir ->
         let dir_str = Fpath.to_string dir in
         Sys.file_exists dir_str && Sys.is_directory dir_str