magit-pull: don't be verbose

Close #1176.  There's really no point in being verbose; users usually
don't see the output anyway and those who do would be overwhelmed by
the verbosity if there are more than a few branches.  The only lose I
can see is that the output no longer contains any information about
from where we didn't pull anything.