Merge pull request #355 from avsm/master

jenkins and minor typo fix
Update README

This should fix #352
Fix typo
Fix #350

Need to call real-path in case the repository address is local.
Fix the creation of a big archive

This should help fixing #347
Fix previous commit (this should help fixing #347)
Improve opam-mk-repo:

opam-mk-repo package.version now works
Do not install the library files by default.
Improve uninstall messages.

This should help fixing #348
Load the right environment variables when uninstalling.

This hopefully should fix #348
Fix generation of opam.1
Update man pages
Update to the dev manual about .install
Fix duplicate entries in `opam config list`

This should fix #359
Generate and upload a full archive for a given version.

This will help fixing #347 breakage in the future and it will also please BSD packagers which don't want a package to get network access while building a package.
Refactor src_ext Makefile to ease dependency updates
Use cmdliner 0.9.3