Fix 'opam pin <package> none'
Merge pull request #410 from hypatian/master

Modify OpamSystem.link to fall back to copy if link is not supported
Fix using pipe for 'opam switch import/export'
Merge branch 'master' of github.com:OCamlPro/opam
Fix lexer line location
Make OPAM more robust to syntax errors in opam files
Improve lexing/parsing error messages
Do not call load_state before installing a package: this has a side-effect to delete the temp dirs associated to uninstalled package, so this breaks initial installation of devel and pinned packages (which are reinstalled from scratch on the first update).
Specify the call-site when using load_state.
Use curl --insecure when bootstraping OPAM

This should fix #408
Add a 'short' option to display repositories

'opam repo -s' now displays a compact list of repositories (which could be used by opam update)
Really add the list of pinned packages to 'opam repo -s'

This should help writing auto-completion scripts (see #375)
Speed-up the 'opam config env' command.

This should fix #412
Speed-up file access by not using lseek

This is related to performance improvments mentionned in #412
clean out the source directory before building fresh version
Merge pull request #413 from avsm/master

jenkins fix
Fix 'opam repo remove <pkg>'
Update CHANGES
Clean-up left-over repositories when creating new ones with the same names.
remote => repository API change