Documented integrate.lus with results
Switched to ANTLR 4 for Lustre and Yices parsing.

Things seem to run a little bit slower now (~5-10%) but that should improve with future versions of ANTLR.
Merge branch 'master' into lustre2excel

Conflicts:
	.classpath
	launch/JKind Lustre ANTLR.launch
	launch/JKind Lustre ANTLR4.launch
	launch/JKind Yices ANTLR4.launch
	launch/Lustre2excel Lustre ANTLR.launch
	src/jkind/Main.java
	src/jkind/solvers/SolverResult.java
	src/jkind/solvers/Yices.tokens
	src/jkind/solvers/YicesLexer.java
	src/jkind/solvers/YicesParser.java
	src/jkind/solvers/YicesSolver.java