Change all mentions of doc to docid

In hindsight, the variable name "doc" implies we are manipulating the
document itself when, in reality, we are manipulating the index of the
document. "docid" better expresses this concept.