Use nuXmv instead of NuSMV when available.
(from redmine: issue id 2426, created on 2015-09-09, closed on 2016-02-10)