Restore final line break when printing 0 or >= 2 goals in coqtop (was
removed in r15592 and r15511). I hope this doesn't break some other
non-coqtop uses of coq.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/branches/v8.4@16345 85f007b7-540e-0410-9357-904b9bb8a0f7
v8.4: Fixing unfolding of local definitions during unification that appeared
with commit r16233. This commit added a more precise filtering of
variables on which an evar was allowed to be dependent, but) but it
also broke some Ssreflect scripts. The reason why that filtering was
incorrectly applied, sometimes, to local definitions;

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/branches/v8.4@16347 85f007b7-540e-0410-9357-904b9bb8a0f7