Support for CVC4
Increase version number
Extract SMT-LIB2 solver
Support z3
Code clean up
Clean up labels
Expand 'div' for CVC4
Improve performance of div in CVC4
No need for unsat cores in Z3
Update link to v1.3
Merge branch 'master' into subrange

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