Default 1.9 criteria: was missing a criterion

there was nothing telling that non-requested packages that get installed should get
to their latest version if possible
fixed typos
Don't fail on pinned packages with bad opam files
Merge pull request #1625 from OCamlPro/fix-criteria

Added a missing criterion