Add a profiling switch for 4.01
Merge branch 'master' of github.com:ocaml/opam-repository into prof
Merge pull request #2479 from samoht/prof

Profiling switch