adding support for parallel make.
adding coq_plugin_util, adding uninstall rule to extlib + build plugins
for mirror_core.
Compcert 2.1 with -auto(matic) guessing of target
uninstall for ppsimpl