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 #5 from fajb/master

ppsimpl.0.1+dev compatible with coq_extlib
Merge pull request #6 from gmalecha/master

coq_plugin_util + a few updates
Merge remote-tracking branch 'refs/remotes/upstream/master'