Client can cancel a job by sending a message to the server
Merge branch 'master' of github.com:chsticksel/kind2
Merge branch 'master' of github.com:chsticksel/kind2
Merge branch 'master' of github.com:chsticksel/kind2
Examples about translation from Lustre
Merge branch 'master' of github.com:chsticksel/kind2

Conflicts:
	server/server.ml
Merge branch 'master' of github.com:chsticksel/kind2

Conflicts:
	server/server.ml