Scripts used for the CI handling and coverity uploads
