Adding missing includes which are necessary for building.#3533

mfixman wants to merge 3 commits intofacebookresearch:mainfacebookresearch/faiss:mainfrom

mfixman:fix-missing-importsmfixman/faiss:fix-missing-importsCopy head branch name to clipboard