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.
(from redmine: issue id 3112, created on 2017-10-19, closed on 2017-12-12)