gerrit-push-for: Show the number of commits to push
gerrit-push-for: Improve the (wording of the) progress output a bit