Local config file common to all Why3 commands
Suggestion: if a file with a fixed name, for example
.why3, is present in the directory of a loaded file (source or session) then do as if it was given as a
--extra-config. It would be a nice alternative to systematically passing
-L . on the command-line for example.