etc/git-bdr: new script to delete branch on remote