Adapt gambdoc to use the new TSV index#698

lassik wants to merge 2 commits intogambit:mastergambit/gambit:masterfrom

lassik:lassik/gambdoclassik/gambit:lassik/gambdocCopy head branch name to clipboard