Update OCaml to f8a3649190114bc7182c718837a2a1737ad676f1
Add function Earray.to_dyn_array
Keep relative number of the best lemmas by weight
Limit number of used lemmas