Command to open coqtop window