Removing an unused variant of Context.fold_named_context_reverse.
Pushing Pierre's factorization of names in goal context printing from
coqide to coqtop.

(Joint work with Pierre)
Fixing typo in output test Notations.