Improve the README and add CONTRIBUTING

CONTRIBUTING.md

@@ -0,0 +1,19 @@
+# Guide to contributing to Ocplib-simplex
+
+## Release Process
+
+- Make a PR on `master` to initiate the release. The PR must introduce
+  a new section in `CHANGES.md` with the new version number;
+- Once the PR is merged, create a new `vX.Y.Z` branch for the release from the
+  current `master`.
+
+## Make the release
+
+The release is made using `dune-release`, and follows standard procedure for
+the tool:
+- `dune-release check` performs basic check;
+- `dune-release tag vX.Y.Z` creates a tag on the current branch;
+- `dune-release distrib` creates the distribution archive;
+- `dune-release publish` publishes the release on GitHub;
+- `dune-release opam pkg` creates an archive for opam;
+- `dune-release opam submit` opens a PR on the opam repository.

README.md

@@ -1,22 +1,18 @@
-# ocplib-simplex
+# Ocplib-simplex
 
-A library implementing a simplex algorithm, in a functional style, for
-solving systems of linear inequalities and optimizing linear objective
-functions
+`Ocplib-simplex` is  library implementing a simplex algorithm, in a functional
+style, for solving systems of linear inequalities and optimizing linear
+objective functions. The implementation is incremental and backtrackable.
+It is able to extract unsat-cores for unsatisfiable problems. Versions `> 0.1`
+also support linear optimization.
 
+## Website
 
-## Overview
-
-`ocplib-simplex` is a (fully) functional OCaml implementation of the
-simplex algorithm for solving systems of linear inequalities. The
-implementation is incremental and backtrackable. It is able to extract
-unsat-cores for unsatisfiable problems. Versions `> 0.1` also support
-linear optimization
-
+Ocplib-simplex's web is available at: https://ocamlpro.github.io/ocplib-simplex
 
 ## Dependencies
 
-`ocplib-simplex` requires `4.01.0` or higher and `ocamlfind`.
+`ocplib-simplex` requires `4.08.1` or higher and `ocamlfind`.
 You can use `make opam-deps` to install dependencies in the current switch.
 
 
@@ -43,11 +39,10 @@ Solving a system of linear inequalities: see the file `tests/standalone_minimal.
 
 Linear optimization: see the file `tests/standalone_minimal_maximization.ml`
 
-
 ## Contributing
 
 Don't hesitate to report encountered bugs on this Git repo's issues
-tracker.
+tracker. Please follow the [contribution guide][contributing].
 
 ## TODO
 
@@ -62,4 +57,4 @@ tracker.
 
 `ocplib-simplex` is Copyright (C) --- OCamlPro.  it is distributed
 under the terms of the GNU Lesser General Public License (LGPL)
-version 2.1 (see LICENSE file for more details).
+version 2.1 (see LICENSE file for more details).