change to new solver code

@devoncarew 

changed to using latest code from pub for the solver - at least parts of it. pub get was not working on cde, solver could not handle all the constraints and path dependencies.
Is 0.15.3 the current version? Can we widen this constraint?