install.md: improve OPAM section
install.md Ubuntu: add info about Anil's PPAs