archives2git: --repo, $GIT_WORK_TREE as a means to control the archives' names