New scripts, to collect data for the demos installer

Maintenance/infrastructure/cgal.geometryfactory.com/bin/collect_data_directories

@@ -0,0 +1,23 @@
+#!/bin/zsh
+
+set -e
+
+setopt extendedglob
+
+[ -d ./data ] || mkdir data
+
+for d in (examples|demo)/*/data(/); do
+  example_or_demo=${d%%/*}
+  pkg_plus_data=${d#*/}
+  pkg=${pkg_plus_data%/data}
+  [ "$d" = "${example_or_demo}/${pkg}/data" ] || echo WRONG $d
+  ls -d --color "${example_or_demo}/${pkg}/data"
+  echo example_or_demo=${example_or_demo}
+  echo pkg=${pkg}
+  dest_dir=data/data-${pkg}
+  [ -d "$dest_dir" ] || mkdir "$dest_dir"
+  ls -d --color "$dest_dir"
+  cp -a "$d"/* "${dest_dir}/"
+done
+cd data
+zip -r ../data.zip *