Updated comment
Refactor datatype and tracking for invariants to enable future work
Handle aliases in results from Yices
Use fast parsing for Yices output
Add -reduce_inv option to reduce and display invariants
Add -smooth flag to minimize deltas in counterexamples
Use booleans with defaults for status flags on messages
Manage processes and threads in aggregate in Director
Code clean up in Director
Code cleanup
Increase version number to 1.2
Example lustre file to smooth
Merge branch 'master' into lustre2excel

Conflicts:
	launch/JKind Yices ANTLR4.launch
	src/jkind/ArgumentParser.java
	src/jkind/invariant/Candidate.java
	src/jkind/invariant/CandidateGenerator.java
	src/jkind/invariant/Edge.java
	src/jkind/invariant/Graph.java
	src/jkind/invariant/Node.java
	src/jkind/processes/BaseProcess.java
	src/jkind/processes/Director.java
	src/jkind/processes/InductiveProcess.java
	src/jkind/processes/InvariantProcess.java
	src/jkind/processes/Process.java
	src/jkind/processes/messages/CounterexampleMessage.java
	src/jkind/processes/messages/InvariantMessage.java
	src/jkind/processes/messages/ValidMessage.java
	src/jkind/solvers/Model.java
	src/jkind/solvers/Solver.java
	src/jkind/solvers/yices/Yices.g4
	src/jkind/solvers/yices/YicesSolver.java
	src/jkind/translation/Lustre2Sexps.java
	src/jkind/translation/Specification.java
	src/jkind/translation/Util.java
	src/jkind/writers/ConsoleWriter.java
	src/jkind/writers/Writer.java
	src/jkind/writers/XmlWriter.java
Add -xml flag to create Excel sheets based on XML counterexamples