New LeanIMT import/export methods

[cedoor]

Description

This PR implements two new methods in the LeanIMT class: import and export. You can find more information in the related issue.

Related Issue(s)

Closes #155

Checklist

• My code follows the style guidelines of this project
• I have performed a self-review of my code
• I have commented my code, particularly in hard-to-understand areas
• I have made corresponding changes to the documentation
• My changes generate no new warnings
• I have added tests that prove my fix is effective or that my feature works
• New and existing unit tests pass locally with my changes
• Any dependent changes have been merged and published in downstream modules

[0xjei]

Awesome. Just some nitpicks on test cases names but you can go ahead and merge. Great work!

[cedoor]

Awesome. Just some nitpicks on test cases names but you can go ahead and merge. Great work!

Thanks 🙏🏽 Test descriptions follow the same format as the others. I'd suggest opening a new issue for changing them since we would need to update many other descriptions.

[0xjei]

Awesome. Just some nitpicks on test cases names but you can go ahead and merge. Great work!

Thanks 🙏🏽 Test descriptions follow the same format as the others. I'd suggest opening a new issue for changing them since we would need to update many other descriptions.

Makes sense, tracked on #158