Minor edit in documentation
Merge branch 'master' of github.com:chsticksel/kind2

Conflicts:
	src/lustreNode.ml