réorganisation pour préparer l'insertion de arbres dans caml/prouveurs
le prouveur trees est maintenant appelé avec le flag -trees, et toutes les anciennes options sont disponibles. suppression du dossier arbres qui a été partiellement transféré dans caml/prouveurs/prouveur_trees