yices based verifictions are now deprecated and can no longer be created.
added build scripts.
more work on the devkits for analyses
devkits updated
buildfile cleanup