Change config.json back to use latest everest-ci@master as base image
Change config.json back to use latest everest-ci@master as base image

FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar