Documenting old but useful command "Print Tables".
Made a synonymous of it ("Print Options").
Also reorganized a bit the section about flags and options in reference manual.
Fixing typo in reference manual from previous commit
Declared ML Module are not uncapitalized/capitalized/uncapitalized/...

The exact filename has to be written. This is coherent with the RefMan.
STM: fix very simple demo
Paral-ITP demo: better comments
rename Paral-ITP demo file
Make Require verbose
Removing unused tactics in rewrite.
STM: fix -async-proofs lazy
-schedule-vi-checking generates better script
Test case containing a proof of false due to a DeBruijn off-by-one error in the
code checking allowed sorts for elimination.
Christmas is over...
Implementing transitive reduction in the dependency graph printing
mechanism of coqdep.
Fixing bugs #1039: Hypotheses don't respect Barendregt convention
and #3204: Failure of hygiene condition.

It was sufficient to tweak a flag in the constr externalization...
Update .mailmap with recent contributors.

I should have updated everyone who committed since the migration to git (giving me a canonical email).

I've search git shortlog -s to ensure the best I could that there are no duplicate. I discovered that email addresses from the mailmap are uncapitalised whereas the unmodified addresses are not, creating two different authors for no reason. So, I've added some record to normalise the canonical email addresses when needed.
Fixing bug #1758: Print Hint output can be misleading if variable shadows hypothesis.
Follow-up of bugfix for #3204: local definitions were not handled properly.
Fixup make clean and .merlin
Makefiles use $(foo), not $foo, for variables

Also, we need :=, so that it's evaluated immediately, rather than
becoming a self-recursive variable.  This fixes the "Undefined variable
'C'" error that make keeps spewing.
Relaxing the sort elimination check to allow for let-bindings in arities.

I restored this in the kernel, and added it to the checker. There is one last
source of non-uniformity, which is the Sort case in the checker (was not
present in the kernel). I don't know what this case covers, so it should be
reviewed.