Add coq_extlib and mirror_core

New packages for coq_extlib and mirror_core. Both are in development and are thus tagged as +dev.