Add toy.cpp from ch. 3
Use Verifier.h from LLVM 3.4 path.