Fixed man-pages for opam-admin
Merge pull request #738 from AltGr/opam-admin-fix-man

Fixed man-pages for opam-admin
Don't fail is a broken lock suddendly disapear
Merge branch 'master' of github.com:OCamlPro/opam
Updated CHANGES
Merge pull request #750 from AltGr/up-changes

Updated CHANGES
Expliciting the name of 'overlay' functions
Added helper function to OpamFile
Needed for hacking in opamRT
Cleanup: removed 'others' from opam file structure
(additionally, fixes duplication of the 'version' field when already there)
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.
Merge pull request #755 from kerneis/master

Add PERL5LIB to `opam config env`
Merge pull request #764 from vbmithr/master

Typo.
fix opam remove
Merge pull request #769 from hhugo/master

fix opam remove
Fixing pinned packages: only the pinned version is 'available'
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