python script to sync with gerrit projects

The shell script `update-extensions.sh` adds duplicate `branch = .` and
does not sort the modules in `.gitmodules`.  The new sync-with-gerrit.py
script should be a drop in replacement.

Change-Id: I22498d6cb918dd6dc2ca94c4042739d13b4af0cc