Prettify an information message
Merge branch 'master' of github.com:OCamlPro/opam
'opam config var pkg:pinned' should work even if the package is not installed

Fix #743