CI: deploy

This MR aims at adding a script to deploy binaries and documentation.
It adds a job that will be triggered on develop branch and on release branch.

For develop branch packages will be pushed as before, in a repository named by its production's date. A symlink latest will be created also.
For released packages will be pushed under a staging directory. During RC, one can launch manually a job with the variable RC_NUMBER set as follow : rc-0.0 and every packages will be suffix by -rc-0.0.

added ci label

added 46 commits

• 126b3e97...1b9a6b9d - 38 commits from branch develop
• c0076372 - CI: change package name for linux
• c6748438 - Add echo for monitoring the job
• b46fe2aa - New deploy script
• a3369095 - Add an argument to deploy.sh
• f01418b7 - Fix mistake in script and add rc variable
• 22aa3a9b - Change exec for a loop
• af68fbe4 - New suffix package
• e9407e68 - Fix error du to merge

Compare with previous version

added 106 commits

• e9407e68...fe2a6982 - 103 commits from branch develop
• 64257c82 - Merge branch 'develop' into ci_deploy_script
• 1b5fedba - Switch trace to false
• d8e7f70d - Handle .zip windows extension

Compare with previous version

added 1 commit

• 5bce4c3c - Push .zip also

Compare with previous version

added 1 commit

• 5b30ace6 - Fix path for Doxygen

Compare with previous version

changed title from CI: deploy (WIP) to CI: deploy

changed the description

mentioned in commit bbad099b

merged

changed milestone to %7.0.0