Kmax Tool Suite v2.0-rc11

Add the klocalizer tool for creating a configuration for a given compilation unit. This version merges kmax, kclause, and klocalizer into a single installable project. The version has a number of improvements to the formulas generated by kmax and kclause and adds support for multiple architectures to klocalizer.