Documentation/git-branch: new -r to delete remote-tracking branches.