untested complete implementation of PFSolver

Now it remains to test it on a few simplex examples and we can go
straight to the tracker!