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.
0.15.2+1 is the latest version. This is the latest code in pub and those are it's constraints. We can widen the constraints, if needed.