fixes to README.

Note that I bumped the OCaml minimum version up to 3.12.1, as that's
mostly what we test with these days.  Also replaced GODI with OPAM
since the former is now offline.