[RFC] Interface for solver statistics

cc @mlubin @IainNZ 
I meant the termination criteria for the algorithm, but since that's not really variable, maybe this isn't the best interface. Gurobi and CPLEX offer fairly extensive information about problem and solution data, so that might be worth exposing as well.