Separate ci/install_coq_deps.sh and install_coq_deps.sh