update dockerfiles

.dockerignore

@@ -7,6 +7,7 @@
 !Makefile
 !comby.opam
 !comby-kernel.opam
+!comby-semantic.opam
 !dune
 !push-coverage-report.sh
 !dune-project

comby-semantic.opam

@@ -0,0 +1,32 @@
+opam-version: "2.0"
+maintainer: "rvantonder@gmail.com"
+authors: "Rijnard van Tonder"
+homepage: "https://github.com/comby-tools/comby"
+bug-reports: "https://github.com/comby-tools/comby/issues"
+dev-repo: "git+https://github.com/comby-tools/comby.git"
+license: "Apache-2.0"
+build: [
+    [
+      "dune"
+      "build"
+      "-p"
+      name
+      "-j"
+      jobs
+      "@install"
+      "@runtest" {with-test}
+    ]
+]
+depends: [
+  "dune" {>= "2.8.0"}
+  "ocaml" {>= "4.08.1"}
+  "core_kernel"
+  "ppx_deriving"
+  "lwt"
+  "cohttp"
+  "cohttp-lwt-unix"
+  "bisect_ppx" {with-test & dev & >= "2.5.0"}
+]
+synopsis: "An experimental package that interfaces with external services to provide semantic information of programs."
+description: """
+"""

dockerfiles/alpine/binary-release-plus-rg/Dockerfile

@@ -8,6 +8,7 @@ WORKDIR /home/comby
 COPY Makefile /home/comby/
 COPY comby.opam /home/comby/
 COPY comby-kernel.opam /home/comby/
+COPY comby-semantic.opam /home/comby/
 COPY dune-project /home/comby/
 COPY dune /home/comby/
 COPY docs /home/comby/docs

dockerfiles/alpine/binary-release/Dockerfile

@@ -8,6 +8,7 @@ WORKDIR /home/comby
 COPY Makefile /home/comby/
 COPY comby.opam /home/comby/
 COPY comby-kernel.opam /home/comby/
+COPY comby-semantic.opam /home/comby/
 COPY dune-project /home/comby/
 COPY dune /home/comby/
 COPY docs /home/comby/docs

dockerfiles/ubuntu/binary-release/Dockerfile

@@ -18,6 +18,7 @@ RUN eval $(opam env) && opam repository set-url default https://opam.ocaml.org &
 COPY Makefile /home/comby/
 COPY comby.opam /home/comby/
 COPY comby-kernel.opam /home/comby/
+COPY comby-semantic.opam /home/comby/
 COPY dune /home/comby/
 COPY dune-project /home/comby/dune-project
 COPY docs /home/comby/docs