Catch and report top level exceptions
Merge branch 'master' into lustre2excel

Conflicts:
	src/jkind/Main.java