Updated.

Debugged ilp::weighted_converter_t.
Implemented the function for decoration of XML-format of proof-graph.
Implemented the function for adding attributes of ILP in XML.
Changed formats of output-files.