why3ide no longer knows about the location of errors
This was introduced by commit a12c4855, which stripped away the location from all the errors:
- with e when not (Debug.test_flag Debug.stack_trace) -> (* TODO: capture only parsing and typing errors *)+ with Loc.Located (_,e) -> (* TODO: capture only syntax and typing errors *) ... Some e