buildbot gerrit plugin is a queue manager for gerrit patch verification for tinderboxes