Relative paths in source location should be relative to containing file path
@marche recently made improvements to the handling of source location paths, in particular fixing support for relative paths. At the time I told him paths should be relative to the Why3 session, but I think it makes much more sense for them to be relative to the file that the source location annotation is in.