rules: use git archive command

Checking out to extract the file at a given version is not correct
if multiple exports are running at the same time. So we use the less
intrusive archive command.