Merge pull request #832 from samoht/master

support for opam/opam files
Merge pull request #833 from samoht/master

Fix #829
Compile with -g by default
Merge branch 'master' of github.com:OCamlPro/opam
Fix #813

'opam switch reinstall' were reinstalling the wrong package set ...