[RFC] Interface for solver statistics

cc @mlubin @IainNZ 
Yeah, forgot about ``getobjbound``. I guess ``geteobjval`` is equivalent since it should work even without an optimal solution.