Display git's diffstat after git pull rebase.

We find it useful to see what our collaborators have changed.