Add a dockerfile for development#3851

alexanderguzhva wants to merge 1 commit intofacebookresearch:mainfacebookresearch/faiss:mainfrom

alexanderguzhva:dev_dockerfilealexanderguzhva/faiss:dev_dockerfileCopy head branch name to clipboard