fix #780 : krun / kast --version
add test case
Update KEMExceptionProvider.java
Update KRunFrontEndTest.java
Merge pull request #783 from dwightguth/guice-context

Fix issue #780 : krun / kast --version