More flexible OPAM source installation

Add a ?prefix argument to install_opam_from_source to let it be installed in a custom location such as /usr (useful for CentOS).