Merge pull request ocaml#1144 from AltGr/release-1.1.1

Updates CHANGES and generated doc for release

Merge pull request ocaml#1144 from AltGr/release-1.1.1

Updates CHANGES and generated doc for release

Added patch to sanitize external solver criteria.

Merge remote-tracking branch 'origin/master' into 1.1

Release 1.1.0

Release 1.1.0-RC2

Merge pull request ocaml#939 from AltGr/release-1.1.0

Release Candidate for 1.1.0

Release 1.1.0-beta

Release 1.0.0