Increase version number
Fix bug in printing of enumerated types
Fix bug where enumerated values were not treated as constants
Remove unused assignment
Fix stack overflow bug in ConstantEvaluator pointed out by Dan DaCosta
Change subnode-properties.lus so it again requires subnode properties
Fix bracket encoding bug in jlustre2kind
Escape invariants in XML format
Exit with error when record fields are repeated
Switch to DOM parsing
Merge branch 'master' into function

Conflicts:
	jkind-api/src/jkind/api/xml/XmlHandler.java
	jkind/src/jkind/analysis/ConstantAnalyzer.java
	jkind/src/jkind/analysis/evaluation/ConstantEvaluator.java