Change in jenkins[master]: Added a new tool for merging Gerrit accounts.