Initial commit of the CI configuration file.

.gitlab-ci.yml

+default:
+  image: docker-cduce:latest
+  before_script:
+    - opam update -y
+    - opam upgrade -y
+
+build-test:
+  script:
+    - sh tools/init_opam_switch.sh
+    - dune build -j 4 
+