Merge "Add release notes for Gerrit 2.5.1" into stable-2.5