Fixed bug with detection of solver version when set in ~/.opam/config
Support packup as a solver
Merge pull request #1775 from OCamlPro/packup

Add packup support