toString for UnitVersion

helps debugging
Temp hack for listing slices of packages w/o dependencies.
ConstraintSolver finds some results

- transitiveConstraints now includes constraints from the originating node.
- inexactTransitiveDeps consider the originating node
- _propagateExactTransDeps considers combinations of constraint/dependency not
  originating from the argument node (can be optimized later)