hg2git.py: Display our max revision as progress, not tip