Fix dune-project and goblint.opam inconsistency (PR #1708)

Author: sim642

dune-project

@@ -68,12 +68,12 @@ Goblint includes analyses for assertions, overflows, deadlocks, etc and can be e
     (benchmark :with-test) ; TODO: make this optional somehow, (optional) on bench executable doesn't work
     conf-gcc ; ensures opam-repository CI installs real gcc from homebrew on MacOS
     domain-local-await
-    domain-shims
+    domain_shims
   )
   (depopts
     (apron (>= v0.9.15))
-    domainslib
     z3
+    domainslib
   )
   (conflicts
     (result (< 1.5)) ; transitive dependency, overrides standard Result module and doesn't have map_error, bind