Complete custom cache directory setting in a consistent way#2750

vz-gh wants to merge 3 commits intocastorini:mastercastorini/anserini:masterfrom

vz-gh:vz/custom-cache-dir-followupvz-gh/anserini:vz/custom-cache-dir-followupCopy head branch name to clipboard