"make deploy" is now ready for testing
"make deploy" is now ready for testing

git-svn-id: 0679971f00a2479ebd3f3ffda9bf52302e35b4a2@133 1692c7af-cbd3-45af-b664-c30e194dc1ff

plast-lab/cclyzer,plast-lab/llvm-datalog