integrate luaotfload.lua into luaotfload.dtx