Added replacement for removed INSTALL

"Use OPAM"