Install gerrit-2.4.2-17 on review-dev.

Change-Id: Ied0d87a3f8d1f9154c48d47b9629dc0898b790ff
Reviewed-on: https://review.openstack.org/29197
Approved: James E. Blair <corvus@inaugust.com>
Reviewed-by: James E. Blair <corvus@inaugust.com>
Tested-by: Jenkins