git-update-from-remote: tool for pushing branches

Update branches from one remote to another. Target remote branches are
named exactly the same as in source remote.