Add domainslib to deptopts in .opam

Author: arkocal

goblint.opam

@@ -73,6 +73,7 @@ depends: [
 depopts: [
   "apron" {>= "v0.9.15"}
   "z3"
+  "domainslib"
 ]
 conflicts: [
   "result" {< "1.5"}