pip install --user coq_jupyter==1.5.0 python -m coq_jupyter.install