Check whether coqtop (> 8.4) is installed