Better unavailability explanation after solver failure

using the code from OpamState.unavailable_reason
Merge pull request #1398 from OCamlPro/explain-unavailable-dep

Better unavailability explanation after solver failure