make CoqIDE compatible with Coq V8.4pl3

There was a change in the XML interface of coqtop. See http://coq.inria.fr/distrib/V8.4pl3/CHANGES for details.