Temporary fix of emacs mode for ProofGeneral

 To the best of my knowledge, even with the latest cvs version of PG:
  - the goals must be finally displayed at each step
  - the <info>...</info> async feedback messages aren't handled yet.
 I'll check with Enrico what he intended with these two lines,
 but meanwhile let's comment them...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16767 85f007b7-540e-0410-9357-904b9bb8a0f7