Contact: ThomasMoschny

Implemented RevisionNumbering. The branch also serves as testbed for developing and testing applications of the heights, e.g. fast restricted log and fast annotate.

Status: Landed on mainline.