Makefile: reorder extraction
Makefile: reorder extraction

Encode and Rel are one of our biggest modules, so move them up to
maximize parallelism

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