etc/install_coq.sh builds coqlight and coqide only