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
Change refs to external sources: moved to Dose 3.2-rc1 and Ocamlgraph 1.8.5
Remove obsolete patches
Adapt ocp dependencies to new dose/ocamlgraph
Hardcode FILE macros for dose 3.2
Hardcode IFDEF macros assuming false for dose 3.2
Added support for patches to cudf in src_ext
Added a single patch that contains the difference to cudf upstream. Will be removed once the latest cudf is released (getting to it).
Revert "Added a single patch that contains the difference to cudf upstream. Will be removed once the latest cudf is released (getting to it)."
Cudf 0.7 upstream is released.

This reverts commit 06869b06cb65ae975eb5ae6109d438c6ebc85512.
Update for cudf-0.7 and guard cudf patch execution