Added unit testing for C/C++ programs in formiga, commit_number.cc file, and minor changes related with global lua_States in april