lua : make the lua interface to the rest of the world a separate file