Added ZipDownloader.
Added exceptions and fixed CS of the ZipDownloader
Fixed line endings
Generate transaction from solver's final decision queue.
Rule unification
Adding support for LinkConstraints to the solver requests.

Constraints are directly passed on to the pool's whatProvides method
which returns a set of packages that satisfy name and constraint conditions.
Fix interfaces use statements/use interfaces for type hints
Use spl_object_hash() instead of the package id which doesn't exist anymore
Print more human-readable info
Fix version check in BasePackage
Adjusted BasePackage::__toString()
Fix CS
Fix MultiConstraint::__toString
addPackage needs to trigger initialization too
PlatformRepository now adds packages for every loaded php extension as well
Fix Literal id generation
Fix arg order
Make test fail
Fixed test expectation
No need to unify rules, we already check for duplication on insertion