v8.4: Little coqide bug, when coqtop outputs empty lines, as e.g. when
calling coqide --help.