[RFS] Interface for solver statistics

cc @mlubin @IainNZ 
I'd be in favour of lower case `mip` but don't feel too strongly about it