Gerrit plugin for gathering user statistics.