Change method of password input to docker login.

Change how the password is being passed to the
docker login command to avoid some security issues
associated with the logging of the password to the
shell history or logs.

Author: NlightNFotis

.github/workflows/release-packages.yaml

@@ -225,5 +225,5 @@ jobs:
         run: docker build -t "$IMAGE_TAG" .
       - name: Push docker image to DockerHub
         run: |
-          docker login --username=dbcicprover --password=${{ secrets.DOCKERHUB_ACCESS_DB_CI_CPROVER }}
+          echo ${{ secrets.DOCKERHUB_ACCESS_DB_CI_CPROVER }} | docker login --username=dbcicprover --password-stdin
           docker image push "$IMAGE_TAG"