Make repopick support gerrit 2.9

Change-Id: I5b5fcfdfb69fd8639a7170f68966817ba1bb98b7
Merge remote-tracking branch 'omni/android-4.4' into android-4.4

Conflicts:
	tools/repopick.py