[Whyconf] Export load of builtin provers

Needed for Frama-C (or other user of the API) for generating the provers from their summary