Update call to git-archive-all

tools/release.sh

@@ -60,9 +60,7 @@ then
 fi
 
 wget https://raw.githubusercontent.com/Kentzo/git-archive-all/master/git_archive_all.py
-mv git_archive_all.py git-archive-all
-chmod +x git-archive-all
-./git-archive-all --force-submodules spm-$RELEASE_NAME.tar.gz
+python3 git_archive_all.py --force-submodules spm-$RELEASE_NAME.tar.gz
 
 GETURL=`echo curl --request POST --header \"PRIVATE-TOKEN: $RELEASE_TOKEN\" --form \"file=\@spm-$RELEASE_NAME.tar.gz\" https://gitlab.inria.fr/api/v4/projects/$CI_PROJECT_ID/uploads`
 MYURL=`eval $GETURL | jq .url | tr -d '"'`