gerrit: Add a script to set the server-side HEAD (default branch to checkout)