tools: Add batch.go to batch insert repository data with repotool.
tools: Add batch.go to batch insert repository data with repotool.

repotool only processes one repository at a time. batch.go allows
to iterate over a folder containing several repositories and calls
repotool on each of them. Depth where to find repositories from
whithin the given folder may also be specified.

DevMine/repotool