Change url for solver preferences to the opam one
Merge pull request #1340 from rdicosmo/update-url

Change url for solver preferences to the opam one