add NuSMV plugin bundle