Updated install notes now that OPAM has updated version of cohttp