Change url for solver preferences to the opam one

Point the user to opam-specific explanation of solver preferences