Implement solver class

[dpo]

Solvers should derive from a solver class that stores common parameters and methods. Among other things, it should test KKT conditions. Perhaps it should be an iterator.