Issue #153. Use codegen.py to generate header file for WukongVM.h