Touch ups to variety example
Create JKind Suite to launch different entry points (jkind, jlustre2kind, etc)
Integrated jlustre2excel
Updated scripts for jkind suite
Disable linearity check for jlustre2excel
Support for explicit --%MAIN; annotation on main node
Drop semicolon after --%MAIN but allow it during parsing
Add argument parsing for jlustre2kind
Fix bug in empty nodes
Code clean up
Type checking for subranges
Add -benchmark entry point
Comment on single entry point
Change handling of jlustre2kind file extensions
Check for abnormal exit code
Update API to call in to new JKind Suite Main
Buffer XML input stream
Message change
Check within record types for empty subranges
Prevent ComplexUiExample from spawning window on startup