Make run-zoekt-servers name version independent

What does this MR do and why?

This MR is to address a review comment, !762 (comment 1739074252).

Checklist

Edited by Changzheng Liu

Merge request reports

Loading