[solver] implement level method to solve non-smooth convex problems

[accosmin]

• reason: strong theoretical guarantees, produces sane stopping criterion
• see: ch 3.3.3 in "Introductory lectures on convex optimization", Nesterov
• needs efficient linear and quadratic solvers

[accosmin]

bundle methods are far superior