Code clean up
Code clean up
Introduce StreamIndex to clean up code
Add conjuctive and disjunctive expr visitors
Add Program and Node builders
Fix conjuctive visitor
Code clean up
Use AstMapVisitor to clean up LustreSlicer
JKind API support for Kind 2 (local and remote)
Better completion handling for Kind 2 webstream
Change XML parsing based on kind2 changes
Handle kind2 putting whole xml property on a single line
Updated jkind to the latest version of the upstream master branch.