shortlog for The Integrity programming language