[docker] CAISAR dockerfile.

Dockerfile

+# Dockerfile for easy install and use of CAISAR.
+
+FROM ocaml/opam:ubuntu-ocaml-4.13
+
+RUN opam repository set-url default https://opam.ocaml.org && \
+opam update -y && \
+opam install depext -y
+
+ENV OPAM_SWITCH_PREFIX "/home/opam/.opam/4.13"
+ENV CAML_LD_LIBRARY_PATH "/home/opam/.opam/4.13/lib/stublibs:/home/opam/.opam/4.13/lib/ocaml/stublibs:/home/opam/.opam/4.13/lib/ocaml"
+ENV OCAML_TOPLEVEL_PATH "/home/opam/.opam/4.13/lib/toplevel"
+ENV MANPATH "$MANPATH:/home/opam/.opam/4.13/man"
+ENV PATH "/home/opam/.opam/4.13/bin:$PATH"
+
+## Avoid prompts for time zone
+ENV TZ=Europe/Paris
+
+## Fix issue with libGL on Windows
+ENV LIBGL_ALWAYS_INDIRECT=1
+
+RUN sudo apt-get install -yy \
+protobuf-compiler \
+autoconf \
+debianutils \
+libgmp-dev \
+pkg-config \
+zlib1g-dev \
+git && \
+git clone --depth 1 https://git.frama-c.com/pub/caisar.git
+
+RUN cd caisar && opam install . --deps-only --with-test -y
+
+ENV OPAM_SWITCH_PREFIX "/home/opam/.opam/4.13"
+ENV CAML_LD_LIBRARY_PATH "/home/opam/.opam/4.13/lib/stublibs:/home/opam/.opam/4.13/lib/ocaml/stublibs:/home/opam/.opam/4.13/lib/ocaml"
+ENV OCAML_TOPLEVEL_PATH "/home/opam/.opam/4.13/lib/toplevel"
+ENV MANPATH "$MANPATH:/home/opam/.opam/4.13/man"
+ENV PATH "/home/opam/.opam/4.13/bin:$PATH"
+
+## Avoid prompts for time zone
+ENV TZ=Europe/Paris
+
+## Fix issue with libGL on Windows
+ENV LIBGL_ALWAYS_INDIRECT=1
+
+
+RUN cd caisar && make && make install