Script to add tagged archives of Archimedes releases to git repo