initial template of lazyrelin pass

[ahmedshakill]

Implementation of #599

Here is the current progress status

• [x] The lazy relin pass is visible in heir-opt.
• [x] Looked into google or-tools tutorial on LP and MIP.
• [x] Need an in-depth look into Jeremy's ILP blog.
• [ ] Translate the minimization problem into an ILP one.
• [ ] Introduce trait/interface

[google-cla[bot]]

Thanks for your pull request! It looks like this may be your first contribution to a Google open source project. Before we can look at your pull request, you'll need to sign a Contributor License Agreement (CLA).

View this failed invocation of the CLA check for more information.

For the most up to date status, view the checks section at the bottom of the pull request.

[asraa]

Hey! @ahmedshakill what's the state of this? Do you need me to take a review of it?

[ahmedshakill]

Hi, @asraa . For analysis I'm somewhat familiar with linear programming concepts. I looked at jeremy's blogs. Currently, to play around, I'm trying to insert a relin op when I face a mul op. But the insertion fails with something like from_basis information is required. So I'm looking at how to properly create a relin op using OpBuilder. I'll need help with formulating the model for analysis. I'll come up with questions on discord, I guess.

[AlexanderViand-Intel]

See #1016 for a continuation of this PR