Add header to inductive counterexamples in console
Include final step in inductive counterexamples
Increase version number to 1.1
Update README.md to point to JKind 1.1
Check that properties exist (closes #5)
Fix implication to handle both 0/1 and false/true
Merge branch 'master' into lustre2excel

Conflicts:
	src/jkind/Main.java
	src/jkind/analysis/StaticAnalyzer.java
	src/jkind/processes/InductiveProcess.java
	src/jkind/writers/ConsoleWriter.java