Proofview: forgot to change an exception after refactoring in ( 9f51aafebd5f3a00dabfe056772a300830b3c430 )
Evd.future_goals: forgot to revert the list in two places.
Monad: change the error managing of two-list combinators.

Otherwise I risked catching errors from the argument functions when I wanted to catch size mismatch to add information to errors.
fix parsing of ---- +++++ ***** in CoqIDE
Taking into account factorization of consecutive names of same types
in goal context.

Note: printing of a declaration was previously done in the context
made of the preceding segment of hypotheses, while now it is made in
the full context of all hyps (those coming before and after the hyp
being printed). As a consequence, constants which could be confused
with a variable in the context are now always qualified even if the
conflicting variable name is coming later. But why not, that looks
somehow more uniform like this.
Fixing clash in output test-suite Cases.
Fixing order of declarations in the function which compacts variables
of same type in a context.