adds the release action for the 2.5.0 docker image (#1551)

We need to find a better way to automize it, I am very open to
suggestions.

Author: ivg

.github/workflows/publish-docker-image-release.yml

@@ -19,5 +19,5 @@ jobs:
         uses: docker/build-push-action@v2
         with:
           push: true
-          tags: binaryanalysisplatform/bap:2.4.0
-          file: docker/2.4.0/Dockerfile
+          tags: binaryanalysisplatform/bap:2.5.0
+          file: docker/2.5.0/Dockerfile

docker/2.5.0/Dockerfile

@@ -0,0 +1,10 @@
+FROM ocaml/opam:debian
+
+WORKDIR /home/opam
+
+RUN opam remote set-url default https://opam.ocaml.org \
+ && opam update \
+ && opam depext --update --install bap.2.5.0 --yes -j 1 \
+ && opam clean -acrs
+
+ENTRYPOINT ["opam", "config", "exec", "--"]