Adding extension to the test file for issue #36.
Updated jrew engine output and added tests for imp.
Set smt to none for jenkins
JRE: Output configuration respects initial one.
JRE: Added imp++ tests.
Merge branch 'traian-test' of https://github.com/kframework/k into traian-test