install.md: fix introductory instructions

In particular, remove incorrect reference to latest OCaml release.
Partially addresses #284.
install.md: remove references to GODI since it is discontinued