add brief script to create ZIP from scripts

buildzip.sh

@@ -0,0 +1,18 @@
+# !/bin/sh
+
+# gather the files required for public release
+# put them into a ZIP
+#
+# for now we only need the two Python scripts
+
+DISTPATH="./out/gruene-signale"
+FILEMASK="*.py"
+
+rm -rf out
+mkdir -p $DISTPATH
+
+cp $FILEMASK $DISTPATH
+
+cd ./out
+zip -r gruene-signale gruene-signale/$FILEMASK
+cd ..