git: add alias to delete branches.