Add updated comments to slv_interface.[ch]. Add markup to solver/solver.h so that it appears correctly in the new doxygen documentation.