add 4.01.0dev short paths patch from jacques (activated by -short-paths)
Merge branch 'master' of git://github.com/OCamlPro/opam-repository