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
Merge pull request #780 from AltGr/fix-display

Fix display
'opam list -S' sorts the package by dependency order
Merge branch 'master' of github.com:OCamlPro/opam
Better error message when re-pinning a package to the same thing
Fixed remove order for 'reinstall'
Closes #773, #775 and #776
Merge pull request #783 from AltGr/fix-reinstall-order

Fix reinstall order
Add a `--strict` option, and be more tolerant with opam files when not set
that will make OPAM more forward-compatible with field additions
Closes #784
Merge pull request #785 from AltGr/--strict

Add a `--strict` option, and be more tolerant with opam files when not set
.install files, support for installing in etc.
Merge pull request #791 from dbuenzli/master

.install files, support for installing in etc.
Prettify an information message