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
Workaround for kind2 record accesses
Keep track of number of steps an unknown property is true for
Note about subrange constraints
Workaround fix for enumeration out of range bug
Add workaround for Kind 2 forward references issue
Increase version number
Merge branch 'master' into function

Conflicts:
	jkind-api/src/jkind/api/xml/XmlParseThread.java
	jkind/src/jkind/translation/compound/RemoveArrayUpdates.java