Merge pull request #753 from AltGr/intf-cleanup

Intf cleanup
Add PERL5LIB to `opam config env`

Some opam packages (e.g. CIL) need to install perl helper scripts.
To follow perl conventions while respecting the user's expectation
that opam does not install anything outside of `opam config root`,
these scripts are installed in `opam config var lib`/perl5.

This patch modifies `opam config env` to add this directory to the
user's PERL5LIB environment variable, which allows him to use the
installed scripts seamlessly. Note that it's not an issue to set
this variable even if the directory does not exist (e.g. if no
package using perl has been installed), since perl will simply ignore
the non-existing directory.
Typo.
Fixing pinned packages #1: only the pinned version is 'available'
small fixes
Changed 'installed' files to contain 'pinned' for pinned packages
that way, you can change the version in the package's .opam file without breaking everything
Fixed descrs for pinned packages
(and full-descrs for all of them :p)
Fixed conversion `pinned` <-> `real_version` in opamCudf

Closes #744
Fixed unmarking of packages as roots after reinstall (closes #759)