Fixed compilation problem on Ubuntu 12. #fixes #11
* Compiler did not like NULL as default value for vector of smack::Expr pointrs.
Merge branch 'master' of github.com:smackers/smack