Prerequisite :
ocaml and make must be installed on the machine where the website works.

Install : 
1) in the directory of the Makefile, modify the second line of Makefile
according to the website where you want to run the prover
2) make www
3) make clean (if you want)

