Add grok-dumb-pull utility

This tool will bluntly run "git remote update" in any repository or
subpath provided as argument. Useful if you also want to mirror
repositories not currently exported via grokmirror manifests.