Mentions légales du service
Update of the README/INSTALL files to remove mention of .opt binaries and give updated info about opam