Implement callbacks interface

except for getmipsolution, which currently does just
the same thing as getlpsolution
switch to Char senses
remove cbgetmipsolution (not supported by GLPK)
More explicit error from cbgetmipsolution