Changed default preferences to avoid downgrades when possible.
Added help entry for OPAMCRITERIA with default value printed out.
Reorganised dose patches to match the ones now present in dose 3.1.2 opam package
Experimenting a different default value for the external solver preferences
Merge pull request #1200 from rdicosmo/new-solver-criteria

Streamline external solver criteria