Add link to lustre2excel
Fix bug with constants containing other constants
Check that constants are constant
Remove unused dependency
Do not allow 'pre' in constant expressions
Check for division by zero (closes #6)
Merge branch 'master' into lustre2excel

Conflicts:
	README.md
	src/jkind/analysis/StaticAnalyzer.java