update site: install via opam + talk at inria