mkCoqDerivation: use COQMF_COQLIB for dev versions of Coq
#136908
Merged
COQMF_COQLIB for dev versions of Coq
#136908