Uniformazing .ocp-indent w.r.t. other projects
Update VERSION
Update opam