Make optional (disabled by default) the copy of RPM/DEB pkg in /home/hinria.

The goal is to ligthen the disk space consumption on VMs.

misc/continuous_integration/jobs/linux/build_rpm_deb_pkgs-static_matio.sh

@@ -18,4 +18,4 @@ cpack -G RPM -C CPackConfig.cmake
 rm -Rf _CPack_Packages/x86_64/RPM
 cpack -G DEB -C CPackConfig.cmake
 rm -Rf _CPack_Packages/x86_64/DEB
-cp faust-$FAUST_VERSION*rpm faust-$FAUST_VERSION*.deb $HOME
+[[ -n "$COPY_PKG_TO_HOME" ]] && cp faust-$FAUST_VERSION*rpm faust-$FAUST_VERSION*.deb $HOME

misc/continuous_integration/jobs/linux/build_rpm_deb_pkgs.sh

@@ -25,4 +25,4 @@ cpack -G RPM -C CPackConfig.cmake
 rm -Rf _CPack_Packages/x86_64/RPM
 cpack -G DEB -C CPackConfig.cmake
 rm -Rf _CPack_Packages/x86_64/DEB
-cp faust-$FAUST_VERSION*rpm faust-$FAUST_VERSION*deb $HOME
+[[ -n "$COPY_PKG_TO_HOME" ]] && cp faust-$FAUST_VERSION*rpm faust-$FAUST_VERSION*deb $HOME