Open a pipe with the coqtop process at startup.
Display the coqtop version in the console window.