Update the web site

Mostly: new location of the project, new web site for OCaml.
Use the proper names for the systems in _oasis
Update the README