pager: catch ctrl-c on exit (issue3834)
convert: stabilize cvsps commitid sort order