Add HEAD update REST API endpoint

Replace direct call to the Gerrit Set HEAD REST API endpoint with
the call to the pull-replication REST API. This allows to add some
custom logic.

Bug: Issue 15396
Change-Id: I864143dd8798d22e1861869e98394f758e7309ee