Give the branch-making tool a uniquer name

The twisted-dev-tools branch making tool is now named "make-branch".