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
Merge branch 'master' of github.com:OCamlPro/opam