WIP: enable the OCaml solver for testing
Better error when a cached implementation is missing
WIP: Filter unusable implementations

API needs to be thought about a bit.
Added feed_provider
Accept 'main' on the root element

This is deprecated, but some feeds still use it.
Added support for <requires os> and <requires use> in solver