Tool Runner: make use of callable instead of runnable
Right now ToolRunnerBase makes use of the Runnable interface to call the tools. Upgrade it to Callable.
This was done in a specialised way for NuSMV. It should be changed for all.