[ide] generate why3 ide strategy

It would be nice to generate a why3find.cfg from the provers and transformations registered in local config, and load it in IDE.