Make github -> gerrit sync read from Redis

This lets it be run as a continuous task, rather than as individual
tasks that are submitted by the webhost.

Change-Id: I96b3bcc16370fd1638bc6083753afd585aedc7a0
Merge "Make github -> gerrit sync read from Redis"