[RFC] Interface for solver statistics

cc @mlubin @IainNZ 
Aren't these the same as ``getobjbound`` and ``getobjval``?