fix make mlidoc
Coq_makefile: Allow empty logical names

I'm not sure that coqdep and coqtop understand them correctly anyway ...
Fixup leading ./ path cleaning
Adding printer for named_context_val and Goal.goal in debugger.
A version of convert_concl and convert_hyp in new proof engine.

Not very optimized though (if we apply convert_hyp on any hyp, a new
evar will be generated for every different hyp...).
Removing Convert_concl and Convert_hyp from Logic.
Added support for having one subgoal inheriting the name of its father in Refine.
Propagating name of goal to main subgoal in cut and conversion tactics.
Restoring plugins/xml/README erased by mistake.
No need anymore for referring to xml directory in MLINCLUDES.
Fix segfault in native compiler on int31 division.

Thanks to Yves for reporting it!
Fix bug due to shadowing a variable name in tacred
Make constrMatching and detyping more robust with respect to
expand_projection failing if an innapropriate sigma is given.
Add a "Debug Tactic Unification" option and correct the first-order
application case to expand primitive projections at the head of both
applications.
Add debug printers for projections, fix printing of evar constraints
and unsatisfiable constraints which were not done in the right environment.
Give the same argument name for the record binder of type class
projections and regular records.
Easily fixable backwards incompatibility.
Do not expand primitive projections eagerly in evarconv, but only
in cases of unification with existentials requiring it.
Revert d0cd27e209be08ee51a2d609157367f053438a10: giving a different name
for the record binder of classes. This name is no longer generated
in the kernel but part of the declaration. Also cleanup the interface
to recognize primitive records based on an option type instead of a
dynamic check of the length of an array.
Tentative fix for a badly used Option.get in Reductionops.
Mentioning incompatibility shown in #3718 and coming from #3050
(interpreting "match goal"'s hypotheses in scope %type).