why3 config does not update main.loadpath
when using 'why3 config', if a why3.conf file already exists then the loadpath= fields of the [main] record are not updated. For example, in the master branch, the path ".../theories" and ".../modules" should be automatically replaced by ".../stdlib"