coq_plugin_util + a few updates

A new package and a few updates to existing packages, e.g. to support parallel make.