initial commit

Git tools.
 - dep: launch commands on many repos
 - git-givg: see the divergence from upstream
 - git-sync: synchronize with upstream