Started flagging state variables as constant
Working on constant state variables, fixing some bugs
Documentation of the Lustre parser
Fixing flattening of indexed data types
Minor edit in documentation
Merge branch 'master' of github.com:chsticksel/kind2

Conflicts:
	src/lustreNode.ml
Merge remote-tracking branch 'upstream/master'
Small fixes in Lustre translation
Started compression for k-induction
Simplify QE by substituting definitions of variables
Added constant variables without offset
Fixed type of oracle constants
Merge pull request #71 from chsticksel/master

Various bugfixes and improvements