Use get_revision_id_to_revno_map, 1000x speedup, thanks to jelmer.

i was wrong in my last commit, and now the gpl version is unquestionably
superior. take that, evil closed source software!