A couple of fixes/improvements in -beautify, but backtracking on
change of printing format of forall (need more thinking).
Fixing parsing of bullets after a "...".

The lexer parses bullets only at the beginning of sentence. In
particular, the lexer recognizes sentences (this feature was
introduced for the translator and it is still used for the
beautifier). It recognized "." but not "...'. I added "..." followed
by space or eol as a terminator of sentences. I hope this is
compatible with the rest of the code dealing with end of
sentences.

Fixed also parse_to_dot which was not aware of "...".

Maybe there are similar things to do with coqide or PG?
Quick fix for avoiding infinitely many respawning and Warning "Coq
died" when coqtop or coqtopide.cmxs are in inconsistent state.
In bug #2406, renouncing to test failure of parsing error.
(AFAIU, it is the table of supported unicode characters which has to
be upgraded anyway.)
Bug #3469: fixing unterminated comment.
Upgrading output tests.
output/Arguments.v
output/ArgumentsScope.v
output/Arguments_renaming.v
output/Cases.v
output/Implicit.v
output/PrintInfos.v
output/TranspModType.v

Main changes: monomorphic -> not universe polymorphic, Peano vs Nat