Add namespace, modify makefiles and the vfunctor class.

configMake

examples/Makefile

examples/car/Makefile

examples/car/car.hpp

examples/car/carBuchi.cpp

examples/car/carReach1.cpp

examples/car/carReach2.cpp

examples/dcdc/Makefile

examples/dcdc/dcdc.cpp

examples/dcdc/dcdc.hpp

examples/ipdl/Makefile

examples/ipdl/ipdl.cpp

examples/ipdl/ipdl.hpp

examples/temp/Makefile

examples/temp/plot_winset.m

examples/temp/simmulti.m

examples/temp/simsingle.m

examples/temp/temp.cpp

examples/temp/temp.hpp

examples/temp/test_vf_tpc.m