Allow the user to type query command in the Console_Input window.
Fix a few things about the coqtop pipe.
A lot of work about this pipe is strongly inspired by the coquille
plugin (I will add a reference later).