Get CoqInE

Make sure you have
OCaml
installed or install it. Make sure you have
have Coq installed (in order to be
able to generate .vo files used by CoqInE, using
the coqc command). Warning: the version of OCaml used to
compile CoqInE must be the same as the one used to compile the Coq
program that generates the .vo files you want to
translate.
Make sure you have
Dedukti
installed or install it.