WIP: Updated "0install select" to use the OCaml solver

Not ready for general use, because the solver doesn't do everything the
Python one did.