Add "--summary" option to git diff.