Fixing the debug mode (for recent coq verions).

[Matafou]

Coq stopped printing around debug infos some versions ago. This has been preventing response and goals buffers to dispatch debug info. This patch seems to fix this.