Improve session loading
Currently, Session_itp.load_session
fully parses the why3session.xml
file twice in a row. The first pass is only there to read the shape_version
attribute of the why3session
element (the very first one). This makes the ratio information/energy excessively low.