scripts/prepare_dist_from_git.sh: Check out requested branch and not HEAD.