v2.0.0

Significantly improved initialization speed when interacting with Lean4.

Please delete the LeanDojo cache (rm -rf ~/.cache/lean_dojo) after upgrading to v2.0.0

What's Changed

• Ignore rmtree Errors by @yangky11 in #173
• Fix a minor bug in AST formats by @yangky11 in #174
• Reduce the Initialization Time When Interacting with Lean by @yangky11 in #175
• fix warnings in docs by @yangky11 in #176

Full Changelog: v1.9.0...v2.0.0