whyconf: honor WHY3DATA when computing default loadpath
Currently, if the user sets the environment variable WHY3DATA but not WHY3LOADPATH, the default loadpath computed by whyconf.ml is inconsistent with the actual datadir.
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
Currently, if the user sets the environment variable WHY3DATA but not WHY3LOADPATH, the default loadpath computed by whyconf.ml is inconsistent with the actual datadir.