Publish the demos tarball, if COLLECT_DEMOS_BINARIES is set.

Scripts/developer_scripts/autotest_cgal

@@ -721,6 +721,9 @@ publish_results()
   if [ -z "${DO_NOT_UPLOAD}" ]; then
     log "${ACTUAL_LOGFILE}.test.${PLATFORM}" "PUTTING RESULTS ON THE WEB"
     put_on_web "test_results-${HOST}_${PLATFORM}.tar.gz" "${FILENAME}"
+    if [ -e "demos_${CGAL_TESTER}_${PLATFORM}.tar.gz" ]; then
+      put_on_web "demos_${CGAL_TESTER}_${PLATFORM}.tar.gz" "demos-${FILENAME}"
+    fi
     log_done "${ACTUAL_LOGFILE}"
   fi