Separated JKind in to common, solver, and API
Add testing project
Add options to api
API build configuration
Utility method
Parameterize signals based on underlying values (when possible)
Utility constructions without locations
Add text api interface
Clean up after error
Add File input to api
Add cast functionality down to signals
Defensive code for external api
Add renaming support
Move testing to top level
Add Layout to eventually be used for Excel output
Moved excel and counterexample files to common
Move jxl.jar to common
Add excel formatting for API
Fix bug where reduce_inv would cause hanging for 'unknown' properties