Add cmake and format

[HenryHeffan]

The old build system should still work too!

[HenryHeffan]

This cleanup looks good to me. I haven't messed around with the .cc file that much in terms of logic, so there is more cleanup to do there. The new interface is much clearer. The old build system and old interface still exists.

[olerichter]

If Rajit does not look at it before, I can have a peek on the weekend if you want, I sadly swamped with other stuff before.

[rmanohar]

Thanks @olerichter that would be very helpful. I won't be able to look at this for quite a few days.

[HenryHeffan]

@olerichter @rmanohar I dont really need any feedback. I just wanted to let professor manohar know this existed before I merged it. Also, this is still a work in progress. Im going to test (at least most of it) fairly heavily because im using this branch in the chp-optimize repository

[olerichter]

ok, let me in case you do when its ready,
thanks for the effort!
i am sure you are aware and you possibly already did, it would be good before merging if we adapt the example to your new interfaces (so people know how to use it), and double check if it still works in contention with exproptcommertial in chp2prs as well as with dflow (and i think there might be one more programm)