Merge branch 'stable-2.13' into stable-2.14

* stable-2.13:
  Set Gerrit to 2.13.12
  Add support for Gerrit 2.13.11 on ubuntu 14.04 and centos

Change-Id: I878e8a5ef364c4b7ff0ebba7b933463f3adacf94