fix: Remove obsolete pumptools-public release package

Since the pumptools.zip package contains already everything
that's supposed to be released on the previous version already,
a separate "public" release isn't required anymore.

Also address this issue in the github workflows to publish
the full package including everything.

.github/workflows/build-master.yaml

@@ -27,7 +27,7 @@ jobs:
         run: |
           mkdir artifact
           cd artifact
-          unzip ../build/docker/pumptools-public.zip
+          unzip ../build/docker/pumptools.zip
           cd ..
 
       - name: "Upload artifact"

.github/workflows/build-tag.yaml

@@ -28,7 +28,7 @@ jobs:
         run: |
           mkdir artifact
           cd artifact
-          unzip ../build/docker/pumptools-public.zip
+          unzip ../build/docker/pumptools.zip
           cd ..
 
       - name: "Upload artifact"