#600001 gitk: please add option to summarize commits between merges