Code clean up
Make semicolon optional after node body
Use properties as proposed candidates during invariant generation
Use 2-stage parsing to avoid performance issues
Merge branch 'master' into lustre2excel

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