Why3find should load Why3 plugins

Currently Why3 find does not seem to load Why3 plugins, this would be solved by calling Whyconf.load_plugins (seemingly in wenv#init).