Merge branch 'master' of git://github.com/OCamlPro/opam
Merge pull request #340 from avsm/master

more jenkins
Improvements to 'opam pin' to not build and sync in the same folder
WIP the usual pinning codepath is now much cleaner, and the checkout of specific commits is broken
Pinning to a specific git commit seems to work fine!

This would help fixing #267 (but not completely yet)
Update CHANGES
[remove] if the remove command only use 'ocamlfind', then it is not necessary to extract the archive again.
Update CHANGES
Add some documentation about git pinning to a given commit/tag/branch.
Update AUTHORS list
Fix tests
OS filter are now valid formulas
Fix distclean target
Fix typos.
Update API docs
Update man pages
Rename roadmap -> spec
Update CUDF adress
The roadmap now almost look similar to a dev manual. It's not totally polished yet, but I guess it's ok for now on.
Update README.md