Add file from IDE is broken
Hello,
When I have two files a.mlw and b.mlw in the same directory in the filesystem and the session for a.mlw in a/why3session.xml as usual. If I try to open why3ide on a.mlw and then add file b.mlw, I get an error in the "Messages" stating (cannot open a/../home/dailler/b.mlw). I think this is a problem with Sysutil.relativize_filename.