adding support for parallel make.
Merge branch 'master' of github.com:braibant/opam-coq-repo
adding coq_plugin_util, adding uninstall rule to extlib + build plugins
for mirror_core.
Merge pull request #6 from gmalecha/master

coq_plugin_util + a few updates