More work on the global configuration feature.

* rename `opam config install` to `opam config global`
* add `opam config global --info` to display the current configuration
* add
* add `opam init --no-config` to tell OPAM to *NOT* modify the global user configuration