test: refactor sat resolver clauses computation

Add new intermediate boolean variables for each dependency and each dependency feature declared in a package.
This is used to simplify computation of the sat clauses.

Add support for multiple dependencies with the same name, if their kind or target is different.

A non-weak dependency feature for an optional dependency now activates a feature of the same name in the sat resolver.

Author: x-hgg-x

Cargo.lock

@@ -6,6 +6,7 @@ publish = false
 
 [dependencies]
 cargo.workspace = true
+cargo-platform.workspace = true
 cargo-util-schemas.workspace = true
 cargo-util.workspace = true
 proptest.workspace = true