Configure solver prefs in ~/.opam/config, detect newer aspcud
Merge pull request #1563 from OCamlPro/fix-solver-crit-breakdown

Configure solver prefs in ~/.opam/config, detect newer aspcud