Update README.md

Notes on updating repo
Fix for latest opam
MCL update
Merge branch 'master' into gh-pages
mcl.12-068oasis4