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
Fixed unmarking of packages as roots after reinstall (closes #759)
Merge pull request #751 from AltGr/fix-pin

Fixing pinned packages #1: only the pinned version is 'available'
Fixed resolution of path in `opam repo add`
Closes #763
Fixed resolution of package/repo names for update
Closes #748
Merge pull request #772 from AltGr/fix-763

Fixed resolution of path in `opam repo add`
Merge pull request #771 from AltGr/fix-748

Fixed resolution of package/repo names for update
Update README.md
Fixing destination filename of some HTTP downloads
Fixed broken cache behaviour whith download of dev-packages archives
Should resolve #745
Merge pull request #778 from AltGr/fix-745

Fix 745
Fixed version-pinning
Merge pull request #779 from AltGr/fix-version-pin

Fixed version-pinning
Fixed display of version when querying info on a pinned package
Fixed version display in 'opam list'
fixed url display for 'opam list' of specific versions of pinned packages
Adding packages with pinned version to the global set