adding coq_extlib.
mirror_core package.