versioncontrol: Added `Repository.display_rev()` to get a user-readable representation of a revision number, and use it for rendering "visible" revisions.
Closes #9230.
Authored by: rblank 2010-04-26
Parent: [r9558]
Child: [r9560]