Initial version of support for transitive dependencies

Added simple constraint solver for transitive dependencies, rewrote Get.Install to accommodate all necessary changes in other parts.
Prefer to put these on their own line so that all cases align with each other.