added inlined version of soccer to prob tests
added rt logger patch from Nick. This fixes a problem where the cli reports dumping events when logging is disabled and thus clearly dont dump.
removed statics from rtloggers + removed unused imports in multiple files in the interpreter
added re-throw if thread death error in the main thread of the interpreter. It states that if caught a thread must clean up and re-throw.

There existed an error case for some tests where it non-deterministically would catch the thread death exception and report it as an internal error. When in fact this is normal behaviour for the thread.
fixed error in the junit view in eclipse where some tests didnt have any test methods while another test with the same name showed one test but ran two.
updated the interpter such that is is able to run vdm10 and classic tests. However many of the external skipped tests still fail on TC errors (no matter what release).
added dump of logs to the interpreter such that it also dumps if an error occurs. This is needed if the log is used for e.g. guard diag.
Merge commit 'b7d35096556ebe1d5e32558999606ed2924c99f9' into his/solv