zoekt-mirror-github: use --mirror, and allow filtering by name.
zoekt-mirror-github: use --mirror, and allow filtering by name.

Change-Id: I1da71c1a11c3a3aea90885432207cb4bef3d8b44

google/zoekt,google/zoekt