Import Wala Machinery from aiwala

There's a lot of analysis infrastructure in the Aiwala repo that could be a useful component for cuanto.  I will look into what makes sense to add, refactor, or combine with existing soot infrastructure, and then make a PR proposal for people to consider.