git-pull-script: add a final "diffstat" to show the result of the merge.