Build/env dev docker 127 (#196)

build: add workflow to create HDK env Docker Image

- make bot username a secret
- update Makefile to pull the HDK image
- have a separate Makefile for the dev specific Docker Image needs

docker/Dockerfile.hdk-dev

@@ -1,10 +1,6 @@
-FROM ghcr.io/zama-ai/zamalang-compiler
+FROM ghcr.io/zama-ai/hdk-env
 
-RUN apt-get install --no-install-recommends -y \
-	python3.8 python3.8-venv python-is-python3 git graphviz* && \
-    pip install --no-cache-dir --upgrade pip && \
-    pip install --no-cache-dir poetry && \
-    echo "source /hdk/.docker_venv/bin/activate" >> /root/.bashrc && \
+RUN echo "source /hdk/.docker_venv/bin/activate" >> /root/.bashrc && \
     echo "if [[ \"\$?\" != \"0\" ]]; then" >> /root/.bashrc && \
     echo "    python3 -m venv /hdk/.docker_venv" >> /root/.bashrc && \
     echo "    source /hdk/.docker_venv/bin/activate" >> /root/.bashrc && \

docker/Dockerfile.hdk-env

@@ -0,0 +1,10 @@
+FROM ghcr.io/zama-ai/zamalang-compiler
+
+RUN apt-get install --no-install-recommends -y \
+    python3.8 \
+    python3.8-venv \
+    python-is-python3 \
+    git \
+    graphviz* && \
+    pip install --no-cache-dir --upgrade pip && \
+    pip install --no-cache-dir poetry