Add monadic interface to solver#52

Leonidas-from-XIV wants to merge 2 commits intoocaml-opam:masterocaml-opam/opam-0install-solver:masterfrom

Leonidas-from-XIV:monadLeonidas-from-XIV/opam-0install-solver:monadCopy head branch name to clipboard