Escape invariants in XML format
Exit with error when record fields are repeated
Switch to DOM parsing
Fix null pointer error when trying to divide by a variable
Increase version number
Fix bug in model evalution (we did not support subtraction)
Generate bounded invariants for integers with fixed initial values
Search for jkind.jar in JKIND_HOME before checking PATH
Use environment variables YICES_BIN, Z3_BIN, CVC4_BIN if they are defined
Merge branch 'master' into yices2

Conflicts:
	jkind/src/jkind/invariant/CandidateGenerator.java