Remove todo list - migrated to github issues
Update copyright year
Fix bug when input variable used as property
Fix bug in slicing of assertions
Add -excel option
Merge branch 'master' into lustre2excel

Conflicts:
	src/jkind/ArgumentParser.java
	src/jkind/Settings.java
	src/jkind/processes/Director.java
	src/jkind/solvers/BoolValue.java
	src/jkind/solvers/NumericValue.java