Rename ReadProblem to ProcessArgs in BasicSolver. Make ProblemRead take StringRef instead of a C string for more flexibility. Clean solver tests.
Fix tableproxy test.