Added replacement for removed INSTALL

If the instructions are "use OPAM", then we should at least say that.