DiffPager calls `git diff no-index` on the two directory trees rooted at a and b and shows the result on stdout, possibly using a pager.