Add zip archive support
Fixing update of dev packages
Closes #961, by reverting the fix to #806 (420401676820894094ef33b22152c5e667453270)
Re-implementing a better fix to #806, delegating the responsability to update the remote URL to
the backend at fetch time. *This is only done for git though*, need to also do it for hg and darcs
Merge pull request #960 from lefessan/branch-OPAM_CURL

Add an OPAMCURL env variable to override which curl command is used
Merge pull request #958 from AltGr/zip-support

Add zip archive support **Needs portability testing**
handle URL changes in the hg backend

Quickly tested, it should work now.

Darcs shouldn't need any changes.
travis: trying to fix apt-get interactive issue
Merge pull request #962 from AltGr/refs/heads/fix-git-pkg-update

Fixing update of dev packages
Sync CHANGES for post 1.1RC1 fixes
Merge pull request #965 from avsm/changes-sync-11

Sync CHANGES for post 1.1RC1 fixes
Merge pull request #964 from AltGr/refs/heads/fix-travis-apt-get

Attempt to fix travis' failures with apt-get
Remove the HTML docs from the repo
Merge pull request #966 from samoht/master

Remove the HTML docs from the repo
Merge branch 'master' into ocp-bin
Remove debug messages