Changed the format of XML of LHSes and proof-graphs.
Deleted ilp::weighted_converter_t::fixed_weight_provider_t.
Fixed compiling errors about lp_solve_t on Windows.
Updated the manual.