_GIT_INDEX_OUTPUT: allow plumbing to output to an alternative index file.