Document --check option to git diff.