Solver: Do not list unselected optional dependencies in Selections
Solver: Respect OS-specific Dependencies/Restrictions
Solver: Added unit tests for dependencies with bindings
Model: Made GenericBinding derive from ExecutableInBinding

This makes Solvers respect the GenericBinding.Command property
Solver: Added unit tests for dependencies with bindings