Ailoop

[waltermoreira]

This issue tracks the branch ailoop.

[joestubbs]

The new code in this branch has mostly been moved to the AIProver repository and can thus be deleted. However, the .lean files that were generated from executing the loop should be saved once we finish #11 so that we can ensure they have the correct values.

[joestubbs]

We also have the work within Meta/DeriveTheorems.lean to update the tactic to support trying all tactics in the list, so we should move those updates should be moved to another branch before this one is deleted.