Remove unused (custom) lua_openjs from lualib.h and remove _lua_execute from exports