Better error message when trying to upgrade a non-existing repository / a non-pinned package.

Fix #507

Also improve the behavior of update of pinned packages: in this case it is neither necessary to run a full repository update and to rebuild the global cache so don't do it.
Merge branch 'master' of github.com:OCamlPro/opam