shell-common: run colordiff output through a pager
shell-common: use $PAGER instead of less for the svndiff alias
shell-common: remove the little used pgl function