removing the yices and nusmv from analyses, builds and examples