refactor NuSMVRunner
Refactor the class NuSMVRunner. This class extends the {@link ToolRunnerBase} but does not provides meaningful implementations of 2 of its methods mainly because of a change in the design. It needs some re-thinking.
(from redmine: issue id 3089, created on 2017-10-11)