Improve debugging of solver inputs.

Now, we can use --dry-run to not install anything (ie. we just ask the solver) and --cudf=foo to generate foo-<n>.cudf containing the request for the n-th call to the (internal or external) solver.

This should fix #364
Merge branch 'master' of github.com:OCamlPro/opam