More Options for zoekt-git-index in zoekt-indexserver

[nikos912000]

What we've found useful is to be able to change the options of zoekt-git-index on demand, without the need of any code changes.
This can be extremely handy when for example building/running using Docker.

An important option is the file_limit but I believe it'd be useful to have ctags as well.

These could be passed as Options and then all the way down here.

In terms of ctags, do we need this to be enabled by default? This is the case in the indexserver but not in the gitindex.

If you agree or have any other properties in mind let me know and I'll raise a PR.

[hanwen]

SGTM. I'd make something that is demarshaled from JSON so you don't have wire up a zillion options by hand.

[hanwen]

ping. any updates here?

[nikos912000]

Apologies, don't think I have time for that.
Wouldn't mind closing that for now unless someone else could help?