Increase version number
Handle 'unknown' result from Z3 (fixes #20)
Check for malformed tuples
Change tabs to spaces
Use natural ordering for record fields
Disable equations with no left-hand side due to parsing performance problems

One can still use

  () = node_call(...)

for nodes with no return values
Improve parsing performance by merging parenExpr and tupleExpr
Fix null pointer error in type checker when tuple type contains null type
Fixed bug in lifting tuples
Turing machine busy beaver example
Fix unguarded pre check to treat all node calls as unguarded
Avoid unguarded pre expressions
Fixed unguarded pres in example
Add enumeration types. Require constants and enumeration values to be globally unique.
Remove unused variable
Merge branch 'master' into function

Conflicts:
	jkind-common/src/jkind/util/Util.java
	jkind/src/jkind/JLustre2Excel.java
	jkind/src/jkind/JLustre2Kind.java
	jkind/src/jkind/analysis/ConstantAnalyzer.java
	jkind/src/jkind/analysis/StaticAnalyzer.java
	jkind/src/jkind/analysis/TypeChecker.java
	jkind/src/jkind/analysis/TypeReconstructor.java
	jkind/src/jkind/analysis/evaluation/ConstantEvaluator.java
	jkind/src/jkind/lustre/parsing/Lustre.tokens
	jkind/src/jkind/lustre/parsing/LustreBaseVisitor.java
	jkind/src/jkind/lustre/parsing/LustreLexer.java
	jkind/src/jkind/lustre/parsing/LustreLexer.tokens
	jkind/src/jkind/lustre/parsing/LustreParser.java
	jkind/src/jkind/lustre/parsing/LustreVisitor.java
	jkind/src/jkind/processes/Director.java
	jkind/src/jkind/translation/Translate.java